| Decision Tree Learning in CEGIS-Based Termination Analysis
|
2021 |
Kura, Satoshi |
| Ghost Signals: Verifying Termination of Busy Waiting
|
2021 |
Reinhard, Tobias |
| Efficient SMT-Based Analysis of Failure Propagation
|
2021 |
Bozzano, Marco |
| ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends
|
2021 |
Kremer, Gereon |
| An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
|
2021 |
Berzish, Murphy |
| Model-Checking Structured Context-Free Languages
|
2021 |
Chiari, Michele |
| Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
|
2021 |
Chen, Xiaohong |
| Automatic Generation and Validation of Instruction Encoders and Decoders
|
2021 |
Xu, Xiangzhe |
| Formally Validating a Practical Verification Condition Generator
|
2021 |
Parthasarathy, Gaurav |
| Fast Computation of Strong Control Dependencies
|
2021 |
Chalupa, Marek |
| Lower-Bound Synthesis Using Loop Specialization and Max-SMT
|
2021 |
Albert, Elvira |
| 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 |
Tag hinzufügen