Login / Signup

SAT based Verification Tool for Labeled Transition System.

Sachoun ParkGihwon Kwon
Published in: SERA (2007)
Keyphrases
  • bounded model checking
  • model checking
  • sat solvers
  • face verification
  • verification method
  • manual labeling
  • case study
  • training data
  • training set
  • software tools
  • formal verification
  • constraint solver
  • manually labeled