A three-valued logic for software specification and validation

Publisher Website

1 January 1988

book chapter
Published by Springer Nature

p. 218-242
https://doi.org/10.1007/3-540-50214-9_19

Abstract

No abstract available

Keywords

This publication has 10 references indexed in Scilit:

Three-valued predicates for software specification and validation
Published by Springer Nature ,1988
Partial-predicate logic in computer science
Acta Informatica, 1987
MetaSoft Primer
Published by Springer Nature ,1987
A logic covering undefinedness in program proofs
Acta Informatica, 1984
A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC
Mathematical Logic Quarterly, 1983
The clean termination of iterative programs
Acta Informatica, 1981
On the Development of Correct Specified Programs
IEEE Transactions on Software Engineering, 1981
On a Formalization of the Non‐Definedness Notion
Mathematical Logic Quarterly, 1979
A basis for a mathematical theory of computation, preliminary report
Published by Association for Computing Machinery (ACM) ,1961
On notation for ordinal numbers
The Journal of Symbolic Logic, 1938