Matthias Dangl
Matthias Dangl
Verified email at sosy.ifi.lmu.de
Title
Cited by
Cited by
Year
Boosting k-Induction with Continuously-Refined Invariants
D Beyer, M Dangl, P Wendler
International Conference on Computer Aided Verification, 622-640, 2015
732015
Witness Validation and Stepwise Testification across Software Verifiers
D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer
732015
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
582016
A Unifying View on SMT-Based Software Verification
D Beyer, M Dangl, P Wendler
J. Autom. Reasoning, 2017
432017
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
292015
Tests from Witnesses
D Beyer, M Dangl, T Lemberger, M Tautschnig
International Conference on Tests and Proofs, 3-23, 2018
232018
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses
D Beyer, M Dangl
International Conference on Computer Aided Verification, 502-509, 2016
182016
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
Strategy Selection for Software Verification Based on Boolean Features
D Beyer, M Dangl
International Symposium on Leveraging Applications of Formal Methods, 144-159, 2018
102018
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
42020
Exchanging Verification Witnesses between Verifiers
D Beyer, M Dangl, D Dietsch, M Heizmann
Software Engineering 2017, 2017
12017
Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art
D Beyer, M Dangl
arXiv preprint arXiv:1908.06271, 2019
2019
Verification Witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer
Software Engineering 2016, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–13