Follow
Matthias Dangl
Matthias Dangl
Verified email at sosy.ifi.lmu.de
Title
Cited by
Cited by
Year
Witness Validation and Stepwise Testification across Software Verifiers
D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer
982015
Correctness witnesses: Exchanging verification results between verifiers
D Beyer, M Dangl, D Dietsch, M Heizmann
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
762016
Boosting k-Induction with Continuously-Refined Invariants
D Beyer, M Dangl, P Wendler
International Conference on Computer Aided Verification, 622-640, 2015
762015
A Unifying View on SMT-Based Software Verification
D Beyer, M Dangl, P Wendler
J. Autom. Reasoning, 2017
582017
CPAchecker with support for recursive programs and floating-point arithmetic
M Dangl, S Löwe, P Wendler
International Conference on Tools and Algorithms for the Construction and …, 2015
382015
Tests from Witnesses
D Beyer, M Dangl, T Lemberger, M Tautschnig
International Conference on Tests and Proofs, 3-23, 2018
342018
Strategy Selection for Software Verification Based on Boolean Features
D Beyer, M Dangl
International Symposium on Leveraging Applications of Formal Methods, 144-159, 2018
202018
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses
D Beyer, M Dangl
International Conference on Computer Aided Verification, 502-509, 2016
202016
SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms
D Beyer, M Dangl
Verified Software. Theories, Tools, and Experiments: 8th International …, 2016
112016
Software Verification with PDR: An Implementation of the State of the Art
D Beyer, M Dangl
International Conference on Tools and Algorithms for the Construction and …, 2020
72020
Verification witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig
ACM Transactions on Software Engineering and Methodology, 2022
22022
Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art
D Beyer, M Dangl
arXiv preprint arXiv:1908.06271, 2019
12019
Exchanging Verification Witnesses between Verifiers
D Beyer, M Dangl, D Dietsch, M Heizmann
Software Engineering 2017, 2017
12017
A Unifying View on SMT-Based Software Verification (vol 60, pg 299, 2018)
D Beyer, M Dangl, P Wendler
JOURNAL OF AUTOMATED REASONING 65 (3), 461-461, 2021
2021
Correction to: A Unifying View on SMT-Based Software Verification
D Beyer, M Dangl, P Wendler
Journal of Automated Reasoning 65 (3), 461-461, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–15