Pages that link to "Item:Q1856163"
From MaRDI portal
The following pages link to Model checking JAVA programs using JAVA PathFinder (Q1856163):
Displayed 7 items.
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Optimistic synchronization-based state-space reduction (Q853724) (← links)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems (Q883136) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)