The following pages link to (Q2753763):
Displaying 12 items.
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Modular verification of multithreaded programs (Q557795) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Concurrent software verification with states, events, and deadlocks (Q2432214) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Distributed verification of multi-threaded C++ programs (Q2866324) (← links)
- Partial order reduction for rewriting semantics of programming languages (Q2873775) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)