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
1232015
Boosting k-Induction with Continuously-Refined Invariants
D Beyer, M Dangl, P Wendler
International Conference on Computer Aided Verification, 622-640, 2015
1062015
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
1032016
A Unifying View on SMT-Based Software Verification
D Beyer, M Dangl, P Wendler
J. Autom. Reasoning, 2017
812017
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
502015
Tests from Witnesses
D Beyer, M Dangl, T Lemberger, M Tautschnig
International Conference on Tests and Proofs, 3-23, 2018
452018
Strategy Selection for Software Verification Based on Boolean Features
D Beyer, M Dangl
International Symposium on Leveraging Applications of Formal Methods, 144-159, 2018
312018
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses
D Beyer, M Dangl
International Conference on Computer Aided Verification, 502-509, 2016
222016
Verification witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig
ACM Transactions on Software Engineering and Methodology, 2022
192022
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
162020
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: Implementation and Empirical Evaluation of the State of the Art
D Beyer, M Dangl
arXiv preprint arXiv:1908.06271, 2019
32019
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
12021
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
The system can't perform the operation now. Try again later.
Articles 1–15