Pages that link to "Item:Q674008"
From MaRDI portal
The following pages link to On using temporal logic for refinement and compositional verification of concurrent systems (Q674008):
Displaying 19 items.
- Modal logics for communicating systems (Q578896) (← links)
- Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
- A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
- Composing and refining dense temporal logic specifications (Q1586168) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Using Locales to Define a Rely-Guarantee Temporal Logic (Q2914750) (← links)
- Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking (Q3088034) (← links)
- (Q3145302) (← links)
- Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic (Q3321430) (← links)
- Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic (Q3449766) (← links)
- Temporal Logic Verification of Lock-Freedom (Q3575281) (← links)
- (Q3812210) (← links)
- (Q3972532) (← links)
- TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION (Q4275182) (← links)
- (Q4353628) (← links)
- (Q4534707) (← links)
- (Q4733381) (← links)
- Logical foundations for compositional verification and development of concurrent programs in UNITY (Q5096396) (← links)
- (Q5151002) (← links)
