Constraints, Abstraction and Verification.

Published in: Hardware Specification, Verification and Synthesis (1989)

Keyphrases

high level
constrained optimization
hardware designs
constraint satisfaction
data sets
multi agent
formal methods
linear constraints
soft constraints
formal verification
physical constraints
bounded model checking