| An O(m log n) algorithm for branching bisimilarity on labelled transition systems
|
2020 |
Jansen, David N. |
| How Many Bits Does it Take to Quantize Your Neural Network?
|
2020 |
Giacobbe, Mirco |
| Highly Automated Formal Proofs over Memory Usage of Assembly Code
|
2020 |
Verbeek, Freek |
| Fold/Unfold Transformations for Fixpoint Logic
|
2020 |
Kobayashi, Naoki |
| GACAL: Conjecture-Based Verification (Competition Contribution)
|
2020 |
Quiring, Benjamin |
| Symbiotic 7: Integration of Predator and More (Competition Contribution)
|
2020 |
Chalupa, Marek |
| Verifying Quantum Communication Protocols with Ground Bisimulation
|
2020 |
Qin, Xudong |
| What’s Decidable About Program Verification Modulo Axioms?
|
2020 |
Mathur, Umang |
| GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
|
2020 |
Albert, Elvira |
| Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting
|
2020 |
Lochmann, Alexander |
| Describing and Simulating Concurrent Quantum Systems
|
2020 |
Bornat, Richard |
| DARTAGNAN: Bounded Model Checking for Weak Memory Models (Competition Contribution)
|
2020 |
Ponce-de-León, Hernán |
| Java Ranger at SV-COMP 2020 (Competition Contribution)
|
2020 |
Sharma, Vaibhav |
| JDART: Dynamic Symbolic Execution for JAVA Bytecode (Competition Contribution)
|
2020 |
Mues, Malte |
| Practical Machine-Checked Formalization of Change Impact Analysis
|
2020 |
Palmskog, Karl |
| Endicheck: Dynamic Analysis for Detecting Endianness Bugs
|
2020 |
Kápl, Roman |
| Polynomial Identification of ω-Automata
|
2020 |
Angluin, Dana |
| Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
|
2020 |
Neele, Thomas |
| 2LS: Heap Analysis and Memory Safety (Competition Contribution)
|
2020 |
Malík, Viktor |
| Map2Check: Using Symbolic Execution and Fuzzing (Competition Contribution)
|
2020 |
Rocha, Herbert |
Tag hinzufügen