Login / Signup

Synthesizing History and Prophecy Variables for Symbolic Model Checking.

Cole VickKenneth L. McMillan
Published in: VMCAI (2023)
Keyphrases
  • symbolic model checking
  • model checking
  • partial observability
  • formal verification
  • binary decision diagrams
  • conformant planning
  • temporal logic
  • symbolic representation
  • artificial intelligence
  • state variables