Suchergebnisse - "Tools and Algorithms for the Construction and Analysis of Systems"

Omega-Regular Objectives in Model-Free Reinforcement Learning

Volltext

The Termination and Complexity Competition

Volltext

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models

Volltext

TOOLympics 2019: An Overview of Competitions in Formal Methods von Bartocci, Ezio, Beyer, Dirk, Black, Paul E., Fedyukovich, Grigory, Garavel, Hubert, Hartmanns, Arnd, Huisman, Marieke, Kordon, Fabrice, Nagele, Julian, Sighireanu, Mihaela, Steffen, Bernhard, Suda, Martin, Sutcliffe, Geoff, Weber, Tjark, Yamada, Akihisa

“… Evaluation of scientific contributions can be done in many different ways. For the various research communities working on the verification of systems …”
Volltext

Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)

Volltext

Shepherding Hordes of Markov Chains

Volltext

Presentation of the 9th Edition of the Model Checking Contest

Volltext

Scenario-Based Verification of Uncertain MDPs von Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Topcu, Ufuk

“… We consider Markov decision processes (MDPs) in which the transition probabilities and rewards belong to an uncertainty set parametrized by a collection of …”
Weitere Angaben

International Competition on Software Testing (Test-Comp)

Volltext

VerifyThis – Verification Competition with a Human Factor von Ernst, Gidon, Huisman, Marieke, Mostowski, Wojciech, Ulbrich, Mattias

“… VerifyThis is a series of competitions that aims to evaluatethe current state of deductive tools to prove functional correctness of programs. Such proofs …”
Volltext

SL-COMP: Competition of Solvers for Separation Logic

Volltext

Optimal Time-Bounded Reachability Analysis for Concurrent Systems

Volltext

Incremental Analysis of Evolving Alloy Models

Volltext

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Volltext

The Quantitative Verification Benchmark Set

Volltext

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) von Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

“… Mopsa is a multilanguage static analysis platform relying on abstract interpretation. It is able to analyze C, Python, and programs mixing these two languages; …”
Volltext

Extending a High-Performance Prover to Higher-Order Logic

Volltext

Scalable Tree-based Register Automata Learning von Dierl, Simon, Fiterau-Brostean, Paul, Howar, Falk, Jonsson, Bengt, Sagonas, Konstantinos, Tåquist, Fredrik

“… Existing active automata learning (AAL) algorithms have demonstrated their potential in capturing the behavior of complex systems (e.g., in analyzing network …”
Volltext

A State-of-the-Art Karp-Miller Algorithm Certified in Coq

Volltext

Feature-Guided Black-Box Safety Testing of Deep Neural Networks

Volltext