The following pages link to Verifying a Hotel Key Card System (Q3525136):
Displaying 5 items.
- Hotel Key Card (Q40948) (← links)
- Monotonicity inference for higher-order formulas (Q438558) (← links)
- Formally verified algorithms for upper-bounding state space diameters (Q1663245) (← links)
- Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems (Q2945619) (← links)
- Monotonicity Inference for Higher-Order Formulas (Q5747753) (← links)