×

Found 35 Documents (Results 1–35)

Fairness modulo theory: a new approach to LTL software model checking. (English) Zbl 1381.68157

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 49-66 (2015).
MSC:  68Q60 03B44 68N30
PDFBibTeX XMLCite
Full Text: DOI

From safety critical Java programs to timed process models. (English) Zbl 1434.68116

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 319-338 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Fast and accurate static data-race detection for concurrent programs. (English) Zbl 1135.68368

Damm, Werner (ed.) et al., Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73367-6/pbk). Lecture Notes in Computer Science 4590, 226-239 (2007).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Abstract matching for software model checking. (English) Zbl 1178.68157

Valmari, Antti (ed.), Model checking software. 13th international SPIN workshop, Vienna, Austria, March 30 – April 1, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33102-6/pbk). Lecture Notes in Computer Science 3925, 182-200 (2006).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Checking absence of illicit applet interactions: A case study. (English) Zbl 1129.68418

Wermelinger, Michel (ed.) et al., Fundamental approaches to software engineering. 7th international conference, FASE 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21305-8/pbk). Lecture Notes in Computer Science 2984, 84-98 (2004).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Applying game semantics to compositional software modeling and verification. (English) Zbl 1126.68343

Jensen, Kurt (ed.) et al., Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21299-X/pbk). Lecture Notes in Computer Science 2988, 421-435 (2004).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Verification of Java programs using symbolic execution and invariant generation. (English) Zbl 1125.68367

Graf, Susanne (ed.) et al., Model checking software. 11th international SPIN workshop, Barcelona, Spain, April 1–3, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21314-7/pbk). Lecture Notes in Computer Science 2989, 164-181 (2004).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Space-reduction strategies for model checking dynamic software. (English) Zbl 1271.68097

Dawar, Anuj (ed.), SoftMC 2003. Workshop on software model checking (satellite workshop of CAV ’03), Ottawa, Canada, June 26–27, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 89, No. 3, 499-517 (2003).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Automated compositional abstraction refinement for concurrent C programs: a two-level approach. (English) Zbl 1271.68081

Dawar, Anuj (ed.), SoftMC 2003. Workshop on software model checking (satellite workshop of CAV ’03), Ottawa, Canada, June 26–27, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 89, No. 3, 417-432 (2003).
MSC:  68N19 68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Some lessons from using static analysis and software model checking for bug finding. (English) Zbl 1271.68094

Dawar, Anuj (ed.), SoftMC 2003. Workshop on software model checking (satellite workshop of CAV ’03), Ottawa, Canada, June 26–27, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 89, No. 3, 378-404 (2003).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Generalized symbolic execution for model checking and testing. (English) Zbl 1031.68519

Garavel, Hubert (ed.) et al., Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2619, 553-568 (2003).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

Checking properties of heap-manipulating procedures with a constraint solver. (English) Zbl 1031.68518

Garavel, Hubert (ed.) et al., Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2619, 505-520 (2003).
MSC:  68N19 68N30
PDFBibTeX XMLCite
Full Text: Link

Relative completeness of abstraction refinement for software model checking. (English) Zbl 1043.68523

Katoen, Joost-Pieter (ed.) et al., Tools and algorithms for the construction and analysis of systems. 8th international conference, TACAS 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Berlin: Springer (ISBN 3-540-43419-4). Lect. Notes Comput. Sci. 2280, 158-172 (2002).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: Link

C Wolf – A toolset for extracting models from C programs. (English) Zbl 1037.68521

Peled, Doron A. (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2002. 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-00141-7/pbk). Lect. Notes Comput. Sci. 2529, 260-275 (2002).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: Link

Speeding up dataflow analysis using flow-insensitive pointer analysis. (English) Zbl 1015.68515

Hermenegildo, Manuel V. (ed.) et al., Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2477, 230-246 (2002).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: Link

Using the Bandera tool set to model-check properties of concurrent Java software. (English) Zbl 1006.68536

Larsen, Kim G. (ed.) et al., CONCUR 2001 - Concurrency theory. 12th international conference, Aalborg, Denmark, August 20-25, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2154, 39-58 (2001).
MSC:  68Q85 68N30
PDFBibTeX XMLCite
Full Text: Link

A language framework for expressing checkable properties of dynamic software. (English) Zbl 0976.68536

Havelund, Klaus (ed.) et al., SPIN model checking and software verification. 7th international SPIN workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1885, 205-223 (2000).
MSC:  68U99 68N30 68Q60
PDFBibTeX XMLCite

Bebop: A symbolic model checker for Boolean programs. (English) Zbl 0976.68540

Havelund, Klaus (ed.) et al., SPIN model checking and software verification. 7th international SPIN workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1885, 113-130 (2000).
MSC:  68U99 68N30 68Q60
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software