The Formal Verification of Safety-critical Assembly Code
- 1 November 1988
- journal article
- Published by Elsevier BV in IFAC Proceedings Volumes
- Vol. 21 (18), 115-120
- https://doi.org/10.1016/s1474-6670(17)54540-1
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- The verification of low-level codeSoftware Engineering Journal, 1988
- Information-flow and data-flow analysis of while-programsACM Transactions on Programming Languages and Systems, 1985