×

Found 4 Documents (Results 1–4)

Under-approximation heuristics for grid-based bounded model checking. (English) Zbl 1272.68260

Luecker, M. (ed.) et al., Proceedings of the 4th international workshop on parallel and distributed methods in verification (PDMC 2005), Lisbon, Portugal, July 10, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 135, No. 2, 31-46 (2006).
PDFBibTeX XMLCite
Full Text: Link

Predictive reachability using a sample-based approach. (English) Zbl 1159.68339

Borrione, Dominique (ed.) et al., Correct hardware design and verification methods. 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29105-9/pbk). Lecture Notes in Computer Science 3725, 388-392 (2005).
MSC:  68M07 68Q60
PDFBibTeX XMLCite
Full Text: DOI

On partitioning and symbolic model checking. (English) Zbl 1120.68418

Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 497-511 (2005).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

A partitioning methodology for BDD-based verification. (English) Zbl 1117.68435

Hu, Alan J. (ed.) et al., Formal methods in computer-aided design. 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23738-0/pbk). Lecture Notes in Computer Science 3312, 399-413 (2004).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Software