Login / Signup
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking.
Nils Timm
Stefan Gruner
Published in:
FTSCS (2018)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
linear constraints
constraint satisfaction
multi agent systems
constraint programming
formal methods