| Deciding the Bisimilarity of Context-Free Session Types
|
2020 |
Almeida, Bernardo |
| Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
|
2020 |
Lang, Frédéric |
| CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering
|
2020 |
Beyer, Dirk |
| Verifying OpenJDK's LinkedList using KeY
|
2020 |
Hiep, Hans-Dieter A. |
| Analysing installation scenarios of Debian packages
|
2020 |
Becker, Benedikt |
| EMTST: Engineering the Meta-theory of Session Types
|
2020 |
Castro, David |
| Solving Mean-Payoff Games via Quasi Dominions
|
2020 |
Benerecetti, Massimo |
| Advances in Automatic Software Verification: SV-COMP 2020
|
2020 |
Beyer, Dirk |
| COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)
|
2020 |
Visser, Willem |
| VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
|
2020 |
Afzal, Mohammad |
| PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
|
2020 |
Peringer, Petr |
| Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions (Competition Contribution)
|
2020 |
Dietsch, Daniel |
| 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 |
Tag hinzufügen