Predicate Extension Of Symbolic Memory Graphs For The Analysis Of Memory Safety Correctness | 0 | 0.34 | 2020 |
Scalable Thread-Modular Approach for Data Race Detection. | 0 | 0.34 | 2019 |
CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). | 0 | 0.34 | 2018 |
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). | 1 | 0.35 | 2017 |
On-the-fly decomposition of specifications in software model checking. | 3 | 0.38 | 2016 |
Configurable toolset for static verification of operating systems kernel modules | 3 | 0.39 | 2015 |
Checking several requirements at once by CEGAR. | 1 | 0.35 | 2015 |
Pattern-based environment modeling for static verification of Linux kernel modules | 0 | 0.34 | 2015 |
Modeling Environment For Static Verification Of Linux Kernel Modules | 4 | 0.40 | 2014 |
Predicate Analysis with BLAST 2.7 - (Competition Contribution). | 1 | 0.35 | 2012 |
Towards an open framework for c verification tools benchmarking | 5 | 0.49 | 2011 |
Establishing linux driver verification process | 9 | 0.70 | 2009 |
Concurrent Testing of Java Components Using Java PathFinder | 5 | 0.50 | 2006 |