Formally specifying the logic of an automatic guidance controller
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 372-383
- https://doi.org/10.1007/bfb0018507
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Formal verification of Ada programsIEEE Transactions on Software Engineering, 1990
- Debugging Larch shared language specificationsIEEE Transactions on Software Engineering, 1990
- Penelope, an Ada verification systemPublished by Association for Computing Machinery (ACM) ,1989
- Writing Larch interface language specificationsACM Transactions on Programming Languages and Systems, 1987