Iyer, Subramanian; Jain, Jawahar; Sahoo, Debashis; Emerson, E. Allen 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). MSC: 68Q60 68T20 68M14 68M15 PDFBibTeX XMLCite \textit{S. Iyer} et al., Electron. Notes Theor. Comput. Sci. 135, No. 2, 31--46 (2006; Zbl 1272.68260) Full Text: Link
Sahoo, Debashis; Jain, Jawahar; Iyer, Subramanian K.; Dill, David; Emerson, E. Allen 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 \textit{D. Sahoo} et al., Lect. Notes Comput. Sci. 3725, 388--392 (2005; Zbl 1159.68339) Full Text: DOI
Iyer, Subramanian; Sahoo, Debashis; Emerson, E. Allen; Jain, Jawahar 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 \textit{S. Iyer} et al., Lect. Notes Comput. Sci. 3582, 497--511 (2005; Zbl 1120.68418) Full Text: DOI
Sahoo, Debashis; Iyer, Subramanian; Jain, Jawahar; Stangier, Christian; Narayan, Amit; Dill, David L.; Emerson, E. Allen 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 \textit{D. Sahoo} et al., Lect. Notes Comput. Sci. 3312, 399--413 (2004; Zbl 1117.68435) Full Text: DOI