Mora - Automatic Generation of Moment-Based Invariants

Bằng Bartocci, Ezio, Kovács, Laura, Stankovič, Miroslav
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Symbiotic 7: Integration of Predator and More: (Competition Contribution)

Bằng Chalupa, Marek, Jašek, Tomáš, Tomovič, Lukáš, Hruška, Martin, Šoková, Veronika, Ayaziová, Paulína, Strejček, Jan, Vojnar, Tomáš
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Solving Mean-Payoff Games via Quasi Dominions

Bằng Benerecetti, Massimo, Dell’Erba, Daniele, Mogavero, Fabio
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions: (Competition Contribution)

Bằng Dietsch, Daniel, Heizmann, Matthias, Nutz, Alexander, Schätzle, Claus, Schüssele, Frank
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)

Bằng Mues, Malte, Howar, Falk
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Towards String Support in JayHorn (Competition Contribution)

Bằng Shamakhi, Ali, Hojjat, Hossein, Rümmer, Philipp
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)

Certifying Proofs in the First-Order Theory of Rewriting

Bằng Mitterwallner, Fabian, Lochmann, Alexander, Middeldorp, Aart, Felgenhauer, Bertram
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)

JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)

Bằng Mues, Malte, Howar, Falk
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)

AMulet 2.0 for Verifying Multiplier Circuits

Bằng Kaufmann, Daniela, Biere, Armin
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)

Bằng Ádám, Zsófia, Sallai, Gyula, Hajdu, Ákos
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)

A Game for Linear-time–Branching-time Spectroscopy

Bằng Bisping, Benjamin, Nestmann, Uwe
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2021)

KReach: A Tool for Reachability in Petri Nets

Bằng Dixon, Alex, Lazić, Ranko
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Verifying Array Manipulating Programs with Full-Program Induction

Bằng Chakraborty, Supratik, Gupta, Ashutosh, Unadkat, Divyesh
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

A Calculus for Modular Loop Acceleration

Bằng Frohn, Florian
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

AVR: Abstractly Verifying Reachability

Bằng Goel, Aman, Sakallah, Karem
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Partial Order Reduction for Deep Bug Finding in Synchronous Hardware

Bằng Mann, Makai, Barrett, Clark
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Simple Strategies in Multi-Objective MDPs

Bằng Delgrange, Florent, Katoen, Joost-Pieter, Quatmann, Tim, Randour, Mickael
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

Bằng Neele, Thomas, Willemse, Tim A. C., Wesselink, Wieger
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Advances in Automatic Software Verification: SV-COMP 2020

Bằng Beyer, Dirk
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)

Verifying Quantum Communication Protocols with Ground Bisimulation

Bằng Qin, Xudong, Deng, Yuxin, Du, Wenjie
Xuất bản năm Tools and Algorithms for the Construction and Analysis of Systems (2020)