Formal Verification of OIL Component Specifications using mCRL2.

Olav Bunte Louis C. M. van Gool Tim A. C. Willemse

Published in: FMICS (2020)

Keyphrases

formal verification
model checker
bounded model checking
automated verification
model checking
symbolic model checking
program slicing
temporal logic
formal specification
transition systems
knowledge acquisition
petri net
natural gas
functional verification
oil production