Sign in

Efficient CTL Verification via Horn Constraints Solving.

Tewodros A. BeyeneCorneliu PopeeaAndrey Rybalchenko
Published in: HCVS@ETAPS (2016)
Keyphrases
  • model checking
  • bounded model checking
  • temporal logic
  • geometric constraints
  • formal verification
  • linear programming problems
  • model checker
  • constrained problems
  • verification method