A programming logic for a verified structured assembly language
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 403-408
- https://doi.org/10.1007/bfb0013078
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A Verified Compiler For A Structured Assembly LanguagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- The notion of proof in hardware verificationJournal of Automated Reasoning, 1989
- Mechanizing Programming Logics in Higher Order LogicPublished by Springer Nature ,1989
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- Implementing Safety-Critical Systems: The VIPER MicroprocessorPublished by Springer Nature ,1988
- An axiomatic basis for computer programmingCommunications of the ACM, 1969