The following pages link to (Q2722014):
Displaying 10 items.
- PVS (Q16016) (← links)
- A mechanical verification of the stressing algorithm for negative cost cycle detection in networks (Q532429) (← links)
- Invariants for the FoCaL language (Q2379680) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- Fixpoints and Search in PVS (Q3558967) (← links)
- A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance (Q3637183) (← links)
- (Q4870822) (← links)
- PVS Embedding of cCSP Semantic Models and Their Relationship (Q5178979) (← links)
- The Mechanical Verification of a DPLL-Based Satisfiability Solver (Q5179007) (← links)
- Pragmatic subtyping in polymorphic languages (Q5234269) (← links)