Login / Signup
Counterexample-guided Spatial Flow Model Checking Methods for C Code.
Yinbo Yu
Jiajia Liu
Dejun Mu
Published in:
Int. J. Softw. Informatics (2022)
Keyphrases
</>
model checking
formal verification
temporal logic
model checker
temporal properties
finite state machines
finite state
formal specification
pspace complete
computation tree logic
verification method