This tool was presented as the BehAPI Tutorial Day 2023, colocated with DisCoTec. Here, João Mota presented JaTyC, a tool that verifies JAVA code. In particular, the tool statically verifies that when a Java program runs: sequences of method calls obey to object’s protocols; objects’ protocols are completed; null-pointer exceptions are not raised; subclasses’ instances respect the protocol of their superclasses.
Java Typestate Checker: https://github.com/jdmota/java-typestate-checker
Typestate Editor: https://typestate-editor.github.io/
Session Subtyping Tool: https://github.com/LBacchiani/session-subtyping-tool
Slides: [x]