The following pages link to TLPVS (Q21998):
Displayed 7 items.
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (Q3512488) (← links)
- Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
- Explicit Fair Scheduling for Dynamic Control (Q5187822) (← links)
- Computer Aided Verification (Q5312918) (← links)