swMATH7878MaRDI QIDQ19894FDOQ19894
Author name not available (Why is that?)
Official website: http://www-sop.inria.fr/everest/soft/Jack/jack.html
Cited In (7)
- Faster and more complete extended static checking for the Java modeling language
- Static contract checking with abstract interpretation
- distcc
- Omnibus
- Cibai
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
This page was built for software: JACK
