Bounded Model Checking High Level Petri Nets in PIPE+Verifier.

Su Liu Reng Zeng Zhuo Sun Xudong He

Published in: ICFEM (2014)

Keyphrases

bounded model checking
high level petri nets
petri net
model checking
formal verification
ims ld
temporal logic
cross section
linear temporal logic
multi agent systems
water supply
cooperative
probability distribution
learning scenarios
reactive systems