Pages that link to "Item:Q751848"
From MaRDI portal
The following pages link to Eliminating the substitution axiom from UNITY logic (Q751848):
Displayed 15 items.
- On the logic of UNITY (Q673960) (← links)
- Comments on ''Always-true is not invariant'': Assertional reasoning about invariance (Q1183477) (← links)
- A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (Q1186571) (← links)
- Models for the substitution axiom of UNITY logic (Q1313738) (← links)
- Program refinement in fair transition systems (Q1323314) (← links)
- Error in the UNITY substitution rule for subscripted operators (Q1336953) (← links)
- A predicate transformer for the progress property `to-always' (Q1377323) (← links)
- A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
- Composing leads-to properties (Q1575647) (← links)
- Invariants, composition, and substitution (Q1894676) (← links)
- DUALITY: A simple formalism for the analysis of UNITY (Q1903074) (← links)
- Distributed maximum maintenance on hierarchically divided graphs (Q2366165) (← links)
- Web Cube (Q3613060) (← links)
- Logical foundations for compositional verification and development of concurrent programs in UNITY (Q5096396) (← links)
- On mechanizing proofs within a complete proof system for Unity (Q5096400) (← links)