Three-valued predicates for software specification and validation
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 243-266
- https://doi.org/10.1007/3-540-50214-9_20
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Partial-predicate logic in computer scienceActa Informatica, 1987
- VDM proof obligations and their justificationPublished by Springer Nature ,1987
- Computer aided reasoningPublished by Springer Nature ,1985
- A logic covering undefinedness in program proofsActa Informatica, 1984
- A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGICMathematical Logic Quarterly, 1983
- The clean termination of iterative programsActa Informatica, 1981
- On the Development of Correct Specified ProgramsIEEE Transactions on Software Engineering, 1981
- About Natural LogicPublished by Springer Nature ,1981
- On a Formalization of the Non‐Definedness NotionMathematical Logic Quarterly, 1979
- On notation for ordinal numbersThe Journal of Symbolic Logic, 1938