Modeling and verification of a checkpoint-restart-protocol.

Bernd Baumgarten Peter Ochsenschläger

Published in: Fehlertolerierende Rechensysteme (1984)

Keyphrases

colored petri nets
cryptographic protocols
formal analysis
petri net
protocol specification
formal methods
lightweight
distributed systems
multi agent
database systems
neural network
security analysis
formal verification
communication protocol
databases
data sets
database