From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “verification tools” 14

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Tools at the Frontiers of Quantitative Verification
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, +15 more

2

citations
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more

4

citations
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Stanley Bak, Taylor Thomas Johnson, Haoze Wu

10

citations
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson

28

citations
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson

9

citations
Exploring Solver-Level Warmstarting for Neural Network Verification
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Annelot W. Bosman, Minghao Liu, Marta Kwiatkowska, Holger H. Hoos, Jan N. van Rijn

0

citations
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Frederik Baymler Mathiesen, Luca Laurenti, Alessandro Abate

0

citations
Verifying LTL for Infinite State Systems via Termination Analysis
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Nils Lommen, Moritz Leven Rosarius, Jürgen Giesl

0

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

1

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen

1

citations
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
A Practitioner's Guide to MDP Model Checking Algorithms
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

2

citations
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Tobias Winkler, Maximilian Weininger

1

citations

14 results