The Java Typestate Checker (JaTyC) is a tool that verifies Java source code with respect to typestates. A typestate is associated with a Java class with the @Typestate annotation and defines: the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback