Formal Verification in m-EVES

This publication has 4 references indexed in Scilit:

• Testing Formal Specifications to Detect Design Errors
  IEEE Transactions on Software Engineering, 1985
• A note on a standard strategy for developing loop invariants and loops
  Science of Computer Programming, 1982
• Stanford Pascal Verifier User Manual
  Published by Defense Technical Information Center (DTIC) ,1979
• Abstract data types and software validation
  Communications of the ACM, 1978