Modeling and Verification of Reactive Systems Using STATEMATE and Event B.

Leila Jemni Ben Ayed Ahlem Ben Younes

Published in: Int. J. Comput. Their Appl. (2009)

Keyphrases

reactive systems
model checking
formal methods
temporal logic
databases
colored petri nets
real time
error rate
petri net
information flow