The use of hoare logic in the verification of horizontal microprograms
From MaRDI portal
Publication:3216113
DOI10.1007/BF00985823zbMath0553.68007OpenAlexW2028992386MaRDI QIDQ3216113
Subrata Dasgupta, A. S. Wagner
Publication date: 1984
Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00985823
hardware verificationprogram verificationcorrectness proofsformal verification of microprogramsHoare's inductive assertion methodhorizontal microprogramsmicroprogramming languages
Cites Work
- An axiomatic proof technique for parallel programs
- An axiomatic definition of the programming language Pascal
- The MPG System: A Machine-Independent Efficient Microprogram Generator
- An axiomatic basis for computer programming
- Microprogramming: An Introduction and a Viewpoint
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The use of hoare logic in the verification of horizontal microprograms