PJBDD: A BDD Library for Java and Multi-Threading | 0 | 0.34 | 2021 |
Domain-independent interprocedural program analysis using block-abstraction memoization | 0 | 0.34 | 2020 |
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. | 2 | 0.38 | 2018 |
Domain-independent multi-threaded software model checking. | 3 | 0.39 | 2018 |
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). | 1 | 0.35 | 2017 |
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). | 0 | 0.34 | 2017 |
CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution). | 0 | 0.34 | 2016 |
Domain Types: Selecting Abstractions Based on Variable Usage | 1 | 0.35 | 2013 |
Domain Types: Abstract-Domain Selection Based on Variable Usage. | 10 | 0.51 | 2013 |