Model Checking ω-Regular Properties with Decoupled Search

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:CAV (33. : 2021 : Online) Computer aided verification ; Part 2
1. Verfasser: Gnad, Daniel (VerfasserIn)
Weitere Verfasser: Eisenhut, Jan (VerfasserIn), Lafuente, Alberto Lluch (VerfasserIn), Hoffmann, Jörg (VerfasserIn)
Pages:2
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
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
Alle Artikel auflisten