Login / Signup
Formal verification of OIL component specifications using mCRL2.
Olav Bunte
Louis C. M. van Gool
Tim A. C. Willemse
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
formal verification
automated verification
model checker
bounded model checking
model checking
symbolic model checking
temporal logic
program slicing
high level
functional verification
artificial intelligence
open source
orders of magnitude
formal specification
description language