Verification

---

(see also Mechanical Verification)

---

Table of Contents

• Abstract Encryption
• ARM (pipelining)
  • Full Paper
  • Extended Abstract
• Bakery Algorithm
  • Partially-Ordered Runs and Bakery
  • Real-Time Refinements
• Broy-Lamport Problem
• CLP(X)
• Compiler Back-ends
• Constrained Shortest Path
• Cryptographic Protocols
• Database Recovery
• DLX (pipelining)
  • Final Version
  • Early Version
• Electronic Commerce
• Equivalence
• FLASH (cache coherency)
• Group Membership Protocol
• Java
  • Jbook
  • Complete JVM->Bytecode Compilation
• Java Exceptions
• Kerberos Authentication System
• Kermit File-Transfer Protocol
• Location Consistency
• Occam
• PAM
  • Part 1
  • Part 2
  • Earlier Version
• Parallel Execution of Prolog
• PDP (Distributed Prolog)
• Production Cell Control Problem
• Railroad Crossing Problem
  • Model Checking and Railroad Crossing
  • Continuous Time Logic
  • Verification of Timed Algorithms (survey)
• Runtime Verification of COM
• Runtime Verification of .NET
• Scoping in Logic Programming
• Smalltalk (optimizations)
• Static Link Technique
• Steam Boiler Problem
• Tableau Calculus
• Termination Detection
• Warren Abstract Machine
• Windows Card
• Verification of ASM Refinements Using Generalized Forward Simulation