Dirk Beyer, Prof. Dr. rer. nat.
Full Professor
Chair for Software and Computational Systems
Institute of Informatics
Faculty of Mathematics, Informatics, and Statistics
Ludwig-Maximilians-Universität München (LMU Munich), Germany
Logo SoSy-Lab

Logo LMU

Results of the 2017 International Competition on Software Verification


Office: Oettingenstr. 67, Room 062
Phone: +49 (89) 2180-9150
E-mail: firstname.lastname@sosy-lab.org
PGP Public Key: 0xFA7541D4, Fingerprint: D01F 72A6 EF21 E258 BEF5 2D02 96A2 AE57 FA75 41D4
Fax: +49 (89) 2180-9175
Mail: LMU Munich / Software and Computational-Systems Engineering / Oettingenstraße 67 / D-80538 Munich, Bavaria / Germany
Assistant (Marianne Diem): +49 (89) 2180-9151
Personals Publications, DBLP, Google Scholar
Biographical sketch
Curriculum vitae
You can also follow me on Twitter and Google+.
NEW Software Verification: Testing vs. Model Checking (HVC 2017)
Software Verification with Validation of Results (TACAS 2017)
Symbolic Execution with CEGAR (ISoLA 2016)
Correctness Witnesses: Exchanging Verification Results between Verifiers (FSE 2016)
On-the-Fly Decomposition of Specifications in Software Model Checking (FSE 2016)
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses (CAV 2016)
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms (VSTTE 2016)
Reliable and Reproducible Competition Results with BenchExec and Witnesses (TACAS 2016)
Research My research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems, in particular:
Interfaces for component-based design (download Chic)
Software model checking and static analysis (download CPAchecker, BLAST, CSIsat)
Structure analysis and comprehension of large systems (download CrocoPat or CCVisu)
Formal verification of real-time systems (download Rabbit)
Service 6th Intl. TACAS Competition on Software Verification (SV-COMP'17)
1st Intl. Workshop on CPAchecker (CPA'16)
PC Chair: TACAS 2018
Organization: CAV 2015 Workshops
Program committees: ICSME'15, TAP'15, ICPC'15, FMSPLE'15, NFM'15, SPIN'14, FMCAD'14, FORTE'14
... more
Courses offered: current term, next term
Sommercamp Informatik
... more
People Team
Information for prospective students
Technical hints for writing a paper
Software that I use
Software BenchExec: Reliable Benchmarking and Resource Measurement
BLAST: Model Checking of Software
CCVisu: Visual Clustering and Software-Structure Assessment
CheckDep: Tracking Software Dependencies
Chic: Checking Interface Compatibility
CPAchecker: Configurable Software Verification
CrocoPat: Relational Programming (for Software-Structure Analysis)
CSIsat: Interpolation for LA+EUF
DepDigger: Detecting Complex Low-Level Dependencies
Rabbit: Verification of Real-Time Systems
... more

Home page