Pages that link to "Item:Q671674"

The following pages link to Assumption/guarantee specifications in linear-time temporal logic (Q671674):

Displaying 4 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)