The following pages link to (Q2769593):
Displayed 5 items.
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances (Q3510818) (← links)
- Falsifying Safety Properties Through Games on Over-approximating Models (Q4982087) (← links)