Matthias Dangl

According to our database, Matthias Dangl authored at least 16 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Witness-based validation of verification results with applications to software-model checking.

Matthias Dangl

PhD thesis, 2022

Verification Witnesses.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig

ACM Trans. Softw. Eng. Methodol., 2022

2021

Correction to: A Unifying View on SMT-Based Software Verification.

Dirk Beyer, Matthias Dangl, Philipp Wendler

J. Autom. Reason., 2021

2020

Software Verification with PDR: An Implementation of the State of the Art.

Dirk Beyer, Matthias Dangl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art.

Dirk Beyer, Matthias Dangl

CoRR, 2019

2018

A Unifying View on SMT-Based Software Verification.

Dirk Beyer, Matthias Dangl, Philipp Wendler

J. Autom. Reason., 2018

Tests from Witnesses - Execution-Based Validation of Verification Results.

Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.

Dirk Beyer, Matthias Dangl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

Exchanging Verification Witnesses between Verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann

Proceedings of the Software Engineering 2017, 2017

2016

SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms.

Dirk Beyer, Matthias Dangl

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Correctness witnesses: exchanging verification results between verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Witness validation and stepwise testification across software verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer

Proceedings of the Software Engineering 2016, 2016

Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses.

Dirk Beyer, Matthias Dangl

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Combining k-Induction with Continuously-Refined Invariants.

Dirk Beyer, Matthias Dangl, Philipp Wendler

CoRR, 2015

CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution).

Matthias Dangl, Stefan Löwe, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Boosting k-Induction with Continuously-Refined Invariants.

Dirk Beyer, Matthias Dangl, Philipp Wendler

Proceedings of the Computer Aided Verification - 27th International Conference, 2015