| ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures
|
2021 |
Leutgeb, Lorenz |
| Theory Exploration Powered by Deductive Synthesis
|
2021 |
Singher, Eytan |
| Porous Invariants
|
2021 |
Lefaucheux, Engel |
| Learning Union of Integer Hypercubes with Queries: (with Applications to Monadic Decomposition)
|
2021 |
Markgraf, Oliver |
| Pono: A Flexible and Extensible SMT-Based Model Checker
|
2021 |
Mann, Makai |
| Latticed k-Induction with an Application to Probabilistic Programs
|
2021 |
Batz, Kevin |
| Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
|
2021 |
Holtzen, Steven |
| Model-Free Reinforcement Learning for Branching Markov Decision Processes
|
2021 |
Hahn, Ernst Moritz |
| Learning Probabilistic Termination Proofs
|
2021 |
Abate, Alessandro |
| CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver
|
2021 |
Shi, Xiaomu |
| JavaSMT 3: Interacting with SMT Solvers in Java
|
2021 |
Baier, Daniel |
| Sound Verification Procedures for Temporal Properties of Infinite-State Systems
|
2021 |
Peyras, Quentin |
| AIGEN: Random Generation of Symbolic Transition Systems
|
2021 |
Jacobs, Swen |
| GPU Acceleration of Bounded Model Checking with ParaFROST
|
2021 |
Osama, Muhammad |
| Model Checking ω-Regular Properties with Decoupled Search
|
2021 |
Gnad, Daniel |
| Foundations of Fine-Grained Explainability
|
2021 |
Hallé, Sylvain |
| Cameleer: A Deductive Verification Tool for OCaml
|
2021 |
Pereira, Mário |
| LLMC: Verifying High-Performance Software
|
2021 |
Berg, Freark I. van der |
| Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios
|
2021 |
Mansur, Muhammad Numair |
| Diffy: Inductive Reasoning of Array Programs Using Difference Invariants
|
2021 |
Chakraborty, Supratik |
Tag hinzufügen