Automata-Based Representations for Arithmetic Constraints in Automated Verification.

Constantinos Bartzis Tevfik Bultan

Published in: CIAA (2002)

Keyphrases

automated verification
arithmetic constraints
model checking
automated reasoning
constraint satisfaction problems
formal verification
arc consistency
theorem proving
artificial intelligence
data model
special case
np hard
object oriented
programming language
multiple attributes