Reasoning About Analog-Level Implementations of Digital Systems Keith Hanna OriginalPaper Pages: 127 - 158
Verification of Safety Properties Using Integer Programming: Beyond the State Equation Javier EsparzaStephan Melzer OriginalPaper Pages: 159 - 189