THEORETICAL FOUNDATIONS.
Logical Necessity and the Foundations of Mathematics Position paper.
INDEX: Logical foundations and formal verification - INTRODUCTION
Logical foundations and formal verification - INTRODUCTION This position paper presents an approach to the design and development of environments for the production of computer systems.
Logical foundations and formal verification - Philosophy and Ontology This position paper presents an approach to the design and development of environments for the production of computer systems.
Logical foundations and formal verification - PRIMITIVE FORMALISATION This position paper presents an approach to the design and development of environments for the production of computer systems
Logical foundations and formal verification - TYPES AND SPECIFICATIONS
This position paper presents an approach to the design and development of environments for
the production of computer systems
Logical foundations and formal verification - APPLICATION LANGUAGES This position paper presents an approach to the design and development of environments for the production of computer systems.
Logical foundations and formal verification - IMPLEMENTATION
Logical foundations and formal verification - VERIFICATION This position paper presents an approach to the design and development of environments for the production of computer systems.
Logical foundations and formal verification - CONCLUSIONS This position paper presents an approach to the design and development of environments for the production of computer systems
Logical foundations and formal verification - REFERENCES This position paper presents an approach to the design and development of environments for the production of computer systems.