Verification of Concurrent Programs Using Petri Net Unfoldings. | 0 | 0.34 | 2021 |
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). | 0 | 0.34 | 2020 |
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | 0 | 0.34 | 2017 |
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | 0 | 0.34 | 2017 |
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). | 2 | 0.37 | 2017 |
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). | 0 | 0.34 | 2017 |
Ultimate Automizer with Two-track Proofs - (Competition Contribution). | 7 | 0.43 | 2016 |