Domain types: Abstract-domain selection based on variable usage S Apel, D Beyer, K Friedberger, F Raimondi, A von Rhein Hardware and Software: Verification and Testing: 9th International Haifa …, 2013 | 35 | 2013 |
JavaSMT: A unified interface for SMT solvers in Java EG Karpenkov, K Friedberger, D Beyer Verified Software. Theories, Tools, and Experiments: 8th International …, 2016 | 33 | 2016 |
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions: (Competition Contribution) P Andrianov, K Friedberger, M Mandrykin, V Mutilin, A Volkov Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 30 | 2017 |
JavaSMT 3: Interacting with SMT solvers in Java D Baier, D Beyer, K Friedberger International Conference on Computer Aided Verification, 195-208, 2021 | 15 | 2021 |
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker D Beyer, K Friedberger MEMICS 2016, 2016 | 15 | 2016 |
Violation Witnesses and Result Validation for Multi-Threaded Programs: Implementation and Evaluation with CPAchecker D Beyer, K Friedberger International Symposium on Leveraging Applications of Formal Methods, 449-470, 2020 | 14 | 2020 |
CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis: (Competition Contribution) K Friedberger Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 14 | 2016 |
Domain-independent multi-threaded software model checking D Beyer, K Friedberger Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 7 | 2018 |
PJBDD: a BDD library for Java and multi-threading D Beyer, K Friedberger, S Holzner Automated Technology for Verification and Analysis: 19th International …, 2021 | 6 | 2021 |
Domain-independent interprocedural program analysis using block-abstraction memoization D Beyer, K Friedberger Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 5 | 2020 |
Domain types: Selecting abstractions based on variable usage S Apel, D Beyer, K Friedberger, F Raimondi, A von Rhein arXiv preprint arXiv:1305.6640, 2013 | 4 | 2013 |
In-place vs. copy-on-write CEGAR refinement for block summarization with caching D Beyer, K Friedberger Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 3 | 2018 |
Block-Abstraction Memoization as an Approach to Verify Recursive Procedures K Friedberger, IS Apel Master’s thesis, Chair of Software Systems, University of Passau, 2015 | 1 | 2015 |
Efficient software model checking with block-abstraction memoization K Friedberger lmu, 2021 | | 2021 |
Ein typbasierter Ansatz zur Kombination verschiedener Verifikationstechniken K Friedberger | | 2012 |
PJBDD D Beyer, K Friedberger, S Holzner Automated Technology for Verification and Analysis, 144, 0 | | |
Implementation and Evaluation of Backwards Analyses in the Software-Verification Framework CPAchecker A Kreppel, D Beyer, K Friedberger | | |
Proc. ISoLA 2018, c Springer D Beyer, K Friedberger | | |
Block-AbstractionMemoizationwithCEGAR (In-Place vs. Copy-On-Write Refinement) K Friedberger | | |
CPAchecker for Reachability, Memory Safety, Overflows, Concurrency, and Termination M Dangl, K Friedberger | | |