Pages that link to "Item:Q1071491"
From MaRDI portal
The following pages link to Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs (Q1071491):
Displaying 7 items.
- ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs (Q689297) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Properties of data flow frameworks: A unified model (Q910237) (← links)
- Security protocols: from linear to classical logic by abstract interpretation (Q1041815) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Incremental Computation of Succinct Abstractions for Hybrid Systems (Q3172856) (← links)
- Certification Using the Mobius Base Logic (Q3602993) (← links)
