The KIV system: Systematic construction of verified software

This publication has 10 references indexed in Scilit:

• Implementing verification strategies in the KIV-system
  Published by Springer Nature ,2005
• Tactical theorem proving in program verification
  Published by Springer Nature ,1990
• Program Verification by Symbolic Execution and Induction
  Informatik-Fachberichte, 1987
• Natural deduction as higher-order resolution
  The Journal of Logic Programming, 1986
• The markgraf karl refutation procedure (MKRP)
  Published by Springer Nature ,1986
• The karlsruhe induction theorem proving system
  Published by Springer Nature ,1986
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• An axiomatic basis for computer programming
  Communications of the ACM, 1969