Login / Signup

Proof-Guided Underapproximation Widening for Bounded Model Checking.

Prantik ChatterjeeJaydeepsinh MedaAkash LalSubhajit Roy
Published in: CAV (1) (2022)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • theorem prover
  • linear logic
  • mathematical proofs
  • theorem proving
  • model checker