The Use of a Formal Simulator to Verify a Simple Real Time Control Program

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 54-66
https://doi.org/10.1007/978-1-4612-4476-9_7

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Computer proofs of limit theorems
Artificial Intelligence, 1972
Algebraic simplification a guide for the perplexed
Published by Association for Computing Machinery (ACM) ,1971
Assigning meanings to programs
Published by American Mathematical Society (AMS) ,1967