The following pages link to Composing invariants (Q2495548):
Displaying 4 items.
- Comments on ''Always-true is not invariant'': Assertional reasoning about invariance (Q1183477) (← links)
- Local invariance (Q1402461) (← links)
- Invariants, composition, and substitution (Q1894676) (← links)
- Compositional verification of a communication protocol for a remotely operated aircraft (Q2442952) (← links)