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 |