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

Judi Romijn Wieger Wesselink Arjan J. Mooij

Published in: ATVA (2007)

Keyphrases

theorem proving
theorem prover
automated theorem proving
geometry theorem proving
edge detector
formal verification
linear logic
timed automata
artificial intelligence
data mining
np hard
case study
xml schema
inference rules
information systems
consistency checking
stackelberg game
database