The following pages link to Algebraic_VCs (Q43928):
Displayed 4 items.
- (Q47922) (redirect page) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)