Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata.

Bruno Dutertre Maria Sorea

Published in: FORMATS/FTRTFT (2004)

Keyphrases

fault tolerant
real time
fault tolerance
key distribution
safety critical
distributed systems
colored petri nets
cryptographic protocols
high assurance
mobile agent system
high availability
load balancing
cellular automata
low cost
artificial intelligence
formal analysis
response time