Brief Announcement: Verification of Stabilizing Programs with SMT Solvers.
Jingshu ChenSandeep S. KulkarniPublished in: SSS (2012)
Keyphrases
- modulo theories
- symbolic execution
- stable model semantics
- hardware designs
- model checking
- answer set programming
- answer sets
- nonlinear systems
- quantified boolean formulas
- statistical machine translation
- declarative programming
- computer programs
- sat solvers
- logic programs
- evolutionary algorithm
- high level
- functional verification
- fixpoint
- concurrent systems
- asynchronous circuits
- signature verification
- data sets
- genetic algorithm