STP: A mechanized logic for specification and verification

This publication has 14 references indexed in Scilit:

• Deciding combinations of theories
  Published by Springer Nature ,2005
• Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System
  IEEE Transactions on Computers, 1982
• Decision procedures for some fragments of set theory
  Published by Springer Nature ,1980
• A Practical Decision Procedure for Arithmetic with Function Symbols
  Journal of the ACM, 1979
• Lcf: A way of doing proofs with a machine
  Lecture Notes in Computer Science, 1979
• Principles of proving concurrent programs in Gypsy
  Published by Association for Computing Machinery (ACM) ,1979
• SIFT: Design and analysis of a fault-tolerant computer for aircraft control
  Proceedings of the IEEE, 1978
• Proof techniques for hierarchically structured programs
  Communications of the ACM, 1977
• Verifying programs by algebraic and logical reduction
  Published by Association for Computing Machinery (ACM) ,1975
• A technique for software module specification with examples
  Communications of the ACM, 1972