A method of automatic proof for the specification and verification of protocols

• 1 January 1984
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 14  (2) , 100-106
• https://doi.org/10.1145/800056.802066

Abstract

Keywords

• AUTOMATIC PROOFS
• LIVENESS
• PROTOCOLS
• QUEUE
• RESOLUTION
• SAFETY
• SPECIFICATIONS
• TEMPORAL LOGIC