PVS: A prototype verification system

This publication has 5 references indexed in Scilit:

• Formal verification of algorithms for critical systems
  Published by Association for Computing Machinery (ACM) ,1991
• MJRTY—A Fast Majority Vote Algorithm
  Published by Springer Nature ,1991
• Deciding Combinations of Theories
  Journal of the ACM, 1984
• The Byzantine Generals Problem
  ACM Transactions on Programming Languages and Systems, 1982
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979