Timed Verification with µCRL.

Stefan Blom Natalia Ioustinova Natalia Sidorova

Published in: Ershov Memorial Conference (2003)

Keyphrases

model checking
timed automata
petri net
colored petri nets
verification method
face verification
temporal logic
machine learning
real time
information retrieval
knowledge base
multiscale
signature verification
formal verification
asynchronous circuits