A Tool for Proving Invariance Properties of Concurrent Systems Automatically.

Published in: TACAS (1996)

Keyphrases

concurrent systems
invariance properties
model checking
temporal logic
distributed systems
moment invariants
petri net
discriminative power
rotation invariance
computer vision
formal specification
color features
zernike moments