| RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
|
2020 |
Baumeister, Jan |
| ADAMMC: A Model Checker for Petri Nets with Transits against Flow-LTL
|
2020 |
Finkbeiner, Bernd |
| MetaVal: Witness Validation via Verification
|
2020 |
Beyer, Dirk |
| Reasoning over Permissions Regions in Concurrent Separation Logic
|
2020 |
Brotherston, James |
| Unbounded-Time Safety Verification of Stochastic Differential Dynamics
|
2020 |
Feng, Shenghua |
| Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
|
2020 |
Phalakarn, Kittiphon |
| Must Fault Localization for Program Repair
|
2020 |
Rothenberg, Bat-Chen |
| Manthan: A Data-Driven Approach for Boolean Function Synthesis
|
2020 |
Golia, Priyanka |
| Action-Based Model Checking: Logic, Automata, and Reduction
|
2020 |
Siegel, Stephen F. |
| Global Guidance for Local Generalization in Model Checking
|
2020 |
Krishnan, Hari Govind Vediramana |
| Towards Model Checking Real-World Software-Defined Networks
|
2020 |
Klimis, Vasileios |
| Recursive Data Structures in SPARK
|
2020 |
Dross, Claire |
| Ivy: A Multi-modal Verification Tool for Distributed Algorithms
|
2020 |
McMillan, Kenneth L. |
| Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic
|
2020 |
Raad, Azalea |
| Certifying Certainty and Uncertainty in Approximate Membership Query Structures
|
2020 |
Gopinathan, Kiran |
| Qualitative Controller Synthesis for Consumption Markov Decision Processes
|
2020 |
Blahoudek, Frantisek |
| Optimistic Value Iteration
|
2020 |
Hartmanns, Arnd |
| PrIC3: Property Directed Reachability for MDPs
|
2020 |
Batz, Kevin |
| Automata Tutor v3
|
2020 |
D'Antoni, Loris |
| Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
|
2020 |
Blahoudek, Frantisek |
Tag hinzufügen