JACK
From MaRDI portal
Software:19894
No author found.
Related Items (4)
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML ⋮ Faster and more complete extended static checking for the Java modeling language ⋮ Static Contract Checking with Abstract Interpretation ⋮ Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
This page was built for software: JACK
