Mechanical verification of distributed algorithms in higher-order logic

This publication has 14 references indexed in Scilit:

• Program verification using HOL-UNITY
  Published by Springer Nature ,1994
• A Sequent Formulation of a Logic of Predicates in HOL
  Published by Elsevier ,1993
• Mechanical verification of concurrent systems with TLA
  Published by Springer Nature ,1993
• Computer Aided Verification
  Published by Springer Nature ,1993
• Mechanically verifying concurrent programs with the Boyer-Moore prover
  IEEE Transactions on Software Engineering, 1990
• Parallel Program Design
  Published by Springer Nature ,1989
• HOL: A Proof Generating System for Higher-Order Logic
  Published by Springer Nature ,1988
• Understanding and verifying distributed algorithms using stratified decomposition
  Published by Association for Computing Machinery (ACM) ,1988
• Distributed network protocols
  IEEE Transactions on Information Theory, 1983
• A Distributed Algorithm for Minimum-Weight Spanning Trees
  ACM Transactions on Programming Languages and Systems, 1983