ULTIMATE GEMCUTTER and the Axes of Generalization: (Competition Contribution)

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2
1. Verfasser:	Klumpp, Dominik (VerfasserIn)
Weitere Verfasser:	Dietsch, Daniel (VerfasserIn), Heizmann, Matthias (VerfasserIn), Schüssele, Frank (VerfasserIn), Ebbinghaus, Marcel (VerfasserIn), Farzan, Azadeh (VerfasserIn), Podelski, Andreas (VerfasserIn)
Pages:	2
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Correlated Equilibria and Fairness in Concurrent Stochastic Games	2022	Kwiatkowska, Marta
Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation	2022	Havlena, Vojtěch
Maximizing Branch Coverage with Constrained Horn Clauses	2022	Zlatkin, Hlia
Forest GUMP: A Tool for Explanation	2022	Murtovi, Alnis
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution)	2022	Bu, Lei
A Prototype for Data Race Detection in CSeq 3: (Competition Contribution)	2022	Coto, Alex
GDarTt: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution)	2022	Mues, Malte
Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution)	2022	Leeson, Will
LART: Compiled Abstract Execution: (Competition Contribution)	2022	Lauko, Henrich
The Static Analyzer Infer in SV-COMP (Competition Contribution)	2022	Kettl, Matthias
THETA: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)	2022	Ádám, Zsófia
A Probabilistic Logic for Verifying Continuous-time Markov Chains	2022	Guan, Ji
On-The-Fly Solving for Symbolic Parity Games	2022	Laveaux, Maurice
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques	2022	Koutavas, Vasileios
Automatic Repair for Network Programs	2022	Shi, Lei
SyYMBIOTIC 9: String Analysis and Backward Symbolic Execution with Loop Folding: (Competition Contribution)	2022	Chalupa, Marek
Under-Approximating Expected Total Rewards in POMDPs	2022	Bork, Alexander
Correct Probabilistic Model Checking with Floating-Point Arithmetic	2022	Hartmanns, Arnd
Practical Applications of the Alternating Cycle Decomposition	2022	Casares, Antonio
Distributed Coalgebraic Partition Refinement	2022	Birkmann, Fabian

Alle Artikel auflisten