On SAT-based Bounded Invariant Checking of Blackbox Designs.

Marc Herbstritt Bernd Becker

Published in: MTV (2005)

Keyphrases

sat solvers
bounded model checking
answer set programming
affine transformation
affine invariant
ai planning
constraint solver
invariant features
boolean satisfiability
web services
design tools
geometric transformations
temporal planner