DMCA

Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints (1997)

by William Chan , Richard Anderson , Paul Beame , David Notkin
Venue:In Computer Aided Verification
Citations:41 - 3 self