JACK
From MaRDI portal
JACK Q19894
Cited in
(7)- Static contract checking with abstract interpretation
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
- Faster and more complete extended static checking for the Java modeling language
- distcc
- Omnibus
- Cibai
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
This page was built for software: JACK
