|
Journals in DBLP
- Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton
Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:17, n:2, pp:107-134 [Journal]
- Gérard Berry, Ellen Sentovich
An Implementation of Constructive Synchronous Programs in POLIS. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:17, n:2, pp:135-161 [Journal]
- Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:17, n:2, pp:163-192 [Journal]
|