Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems B. Jeannet OriginalPaper Pages: 5 - 37
An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists Jason BaumgartnerTamir HeymanAdnan Aziz OriginalPaper Pages: 39 - 65
Symbolic Verification and Analysis of Discrete Timed Systems Jürgen RufThomas Kropf OriginalPaper Pages: 67 - 108