Pages that link to "Item:Q5178871"
From MaRDI portal
The following pages link to Verifying safety properties of concurrent Java programs using 3-valued logic (Q5178871):
Displaying 10 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)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Model checking dynamic pushdown networks (Q2355386) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Verifying Reference Counting Implementations (Q3617768) (← links)
- Model-Checking View-Based Partial Specifications (Q4917056) (← links)
- The Spotlight Principle (Q5452606) (← links)
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319) (← links)