Login / Signup

Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking.

Nils TimmStefan 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