The following pages link to Spec# (Q16769):
Displayed 8 items.
- An Algebraic Semantics for Contract-Based Software Components (Q5505425) (← links)
- Valigator: A Verification Tool with Bound and Invariant Generation (Q5505564) (← links)
- Multi-Prover Verification of Floating-Point Programs (Q5747756) (← links)
- Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development (Q5747779) (← links)
- Using History Invariants to Verify Observers (Q5756488) (← links)
- Abstract Predicates and Mutable ADTs in Hoare Type Theory (Q5756495) (← links)
- Programming Languages and Systems (Q5899012) (← links)
- Programming Languages and Systems (Q5899013) (← links)