Pages that link to "Item:Q671674"
From MaRDI portal
The following pages link to Assumption/guarantee specifications in linear-time temporal logic (Q671674):
Displaying 5 items.
- Proving linearizability with temporal logic (Q539223) (← links)
- Automated compositional proofs for real-time systems (Q882449) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- LTL is closed under topological closure (Q2448112) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (Q5096736) (← links)
