| A Probabilistic Logic for Verifying Continuous-time Markov Chains
|
2022 |
Guan, Ji |
| On-The-Fly Solving for Symbolic Parity Games
|
2022 |
Laveaux, Maurice |
| From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
|
2022 |
Koutavas, Vasileios |
| Automatic Repair for Network Programs
|
2022 |
Shi, Lei |
| SyYMBIOTIC 9: String Analysis and Backward Symbolic Execution with Loop Folding: (Competition Contribution)
|
2022 |
Chalupa, Marek |
| Under-Approximating Expected Total Rewards in POMDPs
|
2022 |
Bork, Alexander |
| Correct Probabilistic Model Checking with Floating-Point Arithmetic
|
2022 |
Hartmanns, Arnd |
| Practical Applications of the Alternating Cycle Decomposition
|
2022 |
Casares, Antonio |
| Distributed Coalgebraic Partition Refinement
|
2022 |
Birkmann, Fabian |
| Verified First-Order Monitoring with Recursive Rules
|
2022 |
Zingg, Sheila |
| Adiar Binary Decision Diagrams in External Memory
|
2022 |
Solvsten, Steffan Christ |
| The Static Analyzer Frama-C in SV-COMP (Competition Contribution)
|
2022 |
Beyer, Dirk |
| GWIT: A Witness Validator for Java based on GraaIVM (Competition Contribution)
|
2022 |
Howar, Falk |
| Symbiotic-Wrrch: A Klee-Based Violation Witness Checker: (Competition Contribution)
|
2022 |
Ayaziová, Paulína |
| Correlated Equilibria and Fairness in Concurrent Stochastic Games
|
2022 |
Kwiatkowska, Marta |
| Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation
|
2022 |
Havlena, Vojtěch |
| Maximizing Branch Coverage with Constrained Horn Clauses
|
2022 |
Zlatkin, Hlia |
| Forest GUMP: A Tool for Explanation
|
2022 |
Murtovi, Alnis |
| BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution)
|
2022 |
Bu, Lei |
| A Prototype for Data Race Detection in CSeq 3: (Competition Contribution)
|
2022 |
Coto, Alex |
Tag hinzufügen