Login / Signup

Three-valued bounded model checking with cause-guided abstraction refinement.

Nils TimmStefan Gruner
Published in: Sci. Comput. Program. (2019)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • refinement process
  • multi agent systems
  • high level
  • nonmonotonic logics
  • neural network
  • query refinement
  • step wise