The following pages link to JML (Q16768):
Displaying 6 items.
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Formal methods for smart cards: an experience report (Q1776578) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Access permission contracts for scripting languages (Q2942863) (← links)
