Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus.

Silvano Dal-Zilio Bernard Berthomieu

Published in: TTCS (2015)

Keyphrases

transition systems
model checking
real time
concurrent systems
temporal logic
process algebra
formal verification
model checker
modal logic
formal methods
face verification
real time systems
signature verification
asynchronous circuits
learning algorithm
high speed
data sets
development environment
database