A proof of burns N-process mutual exclusion algorithm using abstraction

This publication has 13 references indexed in Scilit:

• UPPAAL — a tool suite for automatic verification of real-time systems
  Published by Springer Nature ,1996
• Combining model checking and deduction for I/O- automata
  Published by Springer Nature ,1995
• Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving
  Published by Springer Nature ,1995
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995
• Larch: Languages and Tools for Formal Specification
  Published by Springer Nature ,1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Analysis of discrete event coordination
  Published by Springer Nature ,1990
• Verifying properties of large sets of processes with network invariants
  Lecture Notes in Computer Science, 1990
• A structural induction theorem for processes
  Published by Association for Computing Machinery (ACM) ,1989
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987