Pages that link to "Item:Q1776585"
From MaRDI portal
The following pages link to How the design of JML accommodates both runtime assertion checking and formal verification (Q1776585):
Displayed 12 items.
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (Q1881670) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- JMLUnit: The Next Generation (Q3067548) (← links)
- Verification of Equivalent-Results Methods (Q5458406) (← links)