| 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 |
| Reflections on Termination of Linear Loops
|
2021 |
Zhu, Shaowei |
| Interpolation and Model Checking for Nonlinear Arithmetic
|
2021 |
Jovanović, Dejan |
| Counting Minimal Unsatisfiable Subsets
|
2021 |
Bendik, Jaroslav |
| Progress in Certifying Hardware Model Checking Results
|
2021 |
Yu, Emily |
| Runtime Monitors for Markov Decision Processes
|
2021 |
Junges, Sebastian |
| Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
|
2021 |
Constantinides, George |
| Enforcing Almost-Sure Reachability in POMDPs
|
2021 |
Junges, Sebastian |
| An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation
|
2021 |
Lee, Juneyoung |
Tag hinzufügen