The following pages link to AutoProof (Q42662):
Displayed 6 items.
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Ensuring Correctness of Model Transformations While Remaining Decidable (Q3179408) (← links)
- An Assertional Proof of the Stability and Correctness of Natural Mergesort (Q5277907) (← links)