The following pages link to (Q2754111):
Displaying 4 items.
- Verification and code generation for invariant diagrams in Isabelle (Q478381) (← links)
- Automated verification and refinement for physical-layer protocols (Q539420) (← links)
- Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems (Q3510802) (← links)
- Verifying integrity of decision diagrams (Q4788463) (← links)