Login / Signup

Formal Verification with Constrained Polynomial Logical Zonotope.

Ahmad HafezFrank J. JiangKarl Henrik JohanssonAmr Alanwar
Published in: CoRR (2024)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • automated verification
  • model checker
  • symbolic model checking
  • temporal logic
  • logical reasoning
  • program slicing
  • open source
  • low order