Dirk Beyer.
Second Competition on Software Verification (Summary of SV-COMP 2013).
In N. Piterman and S. Smolka, editors,
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and of Analysis Systems (TACAS 2013, Rome, Italy, March 16-24),
LNCS 7795,
pages 594-609,
2013.
Springer-Verlag, Heidelberg.
[ WWW
] [ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
Dirk Beyer and Stefan Löwe.
Explicit-State Software Model Checking Based on CEGAR and Interpolation.
In V. Cortellessa and D. Varro, editors,
Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013, Rome, Italy, March 20-22),
LNCS 7793,
pages 146-162,
2013.
Springer-Verlag, Heidelberg.
[ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
Dirk Beyer and Andreas Stahlbauer.
BDD-Based Software Model Checking with CPAchecker.
In A. Kucera et al., editor,
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2012, Znojmo, Czech Republic, October 26-28),
LNCS 7721,
pages 1-11,
2013.
Springer-Verlag, Heidelberg.
[ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
Dirk Beyer and Philipp Wendler.
Reuse of Verification Results: Conditional Model Checking, Precision Reuse, and Verification Witnesses.
In E. Bartocci and C. R. Ramakrishnan, editors,
Proceedings of the 2013 International Symposium on Model Checking of Software (SPIN 2013, Stony Brook, NY, USA, July 8-9),
LNCS 7976,
pages 1-17,
2013.
Springer-Verlag, Heidelberg.
[ WWW
] [ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
Dirk Beyer.
Competition on Software Verification (SV-COMP).
In C. Flanagan and B. König, editors,
Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and of Analysis Systems (TACAS 2012, Tallinn, Estonia, March 27-30),
LNCS 7214,
pages 504--524,
2012.
Springer-Verlag, Heidelberg.
[ WWW
] [ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
Dirk Beyer and Alexander K. Petrenko.
Linux Driver Verification.
In T. Margaria and B. Steffen, editors,
Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part II, Heraklion, Crete, October 15-18),
LNCS 7610,
pages 1-6,
2012.
Springer-Verlag, Heidelberg.
[ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
Dirk Beyer and Philipp Wendler.
Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT.
In Gianpiero Cabodi and Satnam Singh, editors,
Proceedings of the 12th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2012, Cambrige, UK, October 22-25),
pages 106-113,
2012.
FMCAD.
[ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
Falk Howar,
Malte Isberner,
Maik Merten,
Bernhard Steffen,
and Dirk Beyer.
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.
In T. Margaria and B. Steffen, editors,
Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part I, Heraklion, Crete, October 15-18),
LNCS 7609,
pages 608-614,
2012.
Springer-Verlag, Heidelberg.
[ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
Dirk Beyer and M. Erkan Keremoglu.
CPAchecker: A Tool for Configurable Software Verification.
In G. Gopalakrishnan and S. Qadeer, editors,
Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011, Snowbird, UT, July 14-20),
LNCS 6806,
pages 184-190,
2011.
Springer-Verlag, Heidelberg.
[ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
Dirk Beyer,
Thomas A. Henzinger,
and Grégory Théoduloz.
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.
In W. Damm and H. Hermanns, editors,
Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007, Berlin, July 3-7),
LNCS 4590,
pages 504-518,
2007.
Springer-Verlag, Heidelberg.
[ PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]
This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein
are retained by authors or by other copyright holders.
All person copying this information are expected to adhere to
the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted
without the explicit permission of the copyright holder.
Les documents contenus dans ces répertoires sont rendus disponibles
par les auteurs qui y ont contribué en vue d'assurer la diffusion
à temps de travaux savants et techniques sur une base non-commerciale.
Les droits de copie et autres droits sont gardés par les auteurs
et par les détenteurs du copyright, en dépit du fait qu'ils présentent
ici leurs travaux sous forme électronique. Les personnes copiant ces
informations doivent adhérer aux termes et contraintes couverts par
le copyright de chaque auteur. Ces travaux ne peuvent pas être
rendus disponibles ailleurs sans la permission explicite du détenteur
du copyright.
Last modified: Tue Jun 4 15:51:51 2013
Author: dbeyer.
This document was translated from BibTEX by
bibtex2html
WWW
] [
PDF
] Keyword(s): Software Model Checking.
[Abstract] [Annotation] [bibtex-entry]