Pages that link to "Item:Q674008"

The following pages link to On using temporal logic for refinement and compositional verification of concurrent systems (Q674008):

Displaying 2 items.

• A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
• Logical foundations for compositional verification and development of concurrent programs in UNITY (Q5096396) (← links)