Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS

DOI10.1007/978-3-540-75596-8_25zbMath1141.68487OpenAlexW1541492378MaRDI QIDQ3510806

Judi Romijn, Wieger Wesselink, Arjan J. Mooij

Publication date: 3 July 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/b10cfef0-a464-491b-9350-f99a2a56788f

Mathematics Subject Classification ID

Related Items (1)

Invariant-based reasoning about parameterized security protocols

Uses Software

• PVS

Cites Work

• Unnamed Item
• An axiomatic proof technique for parallel programs
• Proving invariants of I/O automata with TAME
• Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
• An improved algorithm for decentralized extrema-finding in circular configurations of processes

This page was built for publication: Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS