Login / Signup
Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394.
Marco Devillers
W. O. David Griffioen
Judi Romijn
Frits W. Vaandrager
Published in:
Formal Methods Syst. Des. (2000)
Keyphrases
</>
formal methods
model checker
formal analysis
model checking
protocol specification
formal specification
formal verification
safety critical
knowledge based systems
databases
artificial intelligence
natural language
security properties
process algebra