C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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