Modular Verification of JML Contracts Using Bounded Model Checking
Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich
Topics & Concepts
Computer scienceProgramming languageNondeterministic algorithmJava Modeling LanguageModel checkingModular programmingBounded functionJavaModular designTheoretical computer scienceJava appletJava annotationMathematicsMathematical analysisFormal Methods in VerificationLogic, programming, and type systemsModel-Driven Software Engineering Techniques