Verification of large software systems

This publication has 16 references indexed in Scilit:

• m-NEVER system summary
  Published by Springer Nature ,2005
• A dynamic logic for program verification
  Published by Springer Nature ,1989
• Algebraic specification of modules and their basic interconnections
  Journal of Computer and System Sciences, 1987
• The markgraf karl refutation procedure (MKRP)
  Published by Springer Nature ,1986
• The karlsruhe induction theorem proving system
  Published by Springer Nature ,1986
• Necessary and sufficient conditions for the universality of programming formalisms
  Acta Informatica, 1985
• On hierarchies of abstract data types
  Acta Informatica, 1983
• Universal realization, persistent interconnection and implementation of abstract modules
  Published by Springer Nature ,1982
• Extendible hashing—a fast access method for dynamic files
  ACM Transactions on Database Systems, 1979
• Proof of correctness of data representations
  Acta Informatica, 1972