Algorithms and Logics for Verification

Search results

• Artifact for 'Unfolding State Variables Improves Model Checking'

  Stramaglia, A. (Creator), Keiren, J. J. A. (Creator) & Neele, T. (Creator), Zenodo, 10 Jul 2024

  DOI: 10.5281/zenodo.12705700, https://zenodo.org/records/12705700

  Dataset

• OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust

  Husung, N. (Creator), Dubslaff, C. (Creator), Hermanns, H. (Creator) & Köhl, M. A. (Creator), Zenodo, 26 Oct 2023

  DOI: 10.5281/zenodo.10044913, https://zenodo.org10044913 and one more link, https://zenodo.org/records/10578461 (show fewer)

  Dataset

• Infinite-data PBES Quotienting with the mCRL2 toolset

  Neele, T. (Contributor), Willemse, T. A. C. (Contributor) & Groote, J. F. (Contributor), Zenodo, 4 Nov 2019

  DOI: 10.5281/zenodo.3528142

  Dataset

• Artifact - Formalisation of a new weak semantics for AuDaLa

  Leemrijse, G. (Contributor), Franken, T. T. P. (Contributor) & Neele, T. (Contributor), Zenodo, 21 Aug 2024

  DOI: 10.5281/zenodo.13354543, https://zenodo.org/records/13354543

  Dataset

• Decomposing Monolithic Processes using the mCRL2 toolset

  Laveaux, M. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 12 Jul 2021

  DOI: 10.5281/zenodo.5091849

  Dataset

• Decomposing Monolithic Processes using the mCRL2 toolset

  Laveaux, M. (Creator) & Willemse, T. A. C. (Creator), Zenodo, 3 Jan 2022

  DOI: 10.5281/zenodo.5814855

  Dataset

• Artifact - Formalisation of a new weak semantics for AuDaLa

  Leemrijse, G. (Contributor), Franken, T. T. P. (Contributor) & Neele, T. (Contributor), Zenodo, 5 Jul 2024

  DOI: 10.5281/zenodo.12665500, https://zenodo.org/records/12665500

  Dataset

• dimagic

  Käfer, N. (Contributor), Husung, N. (Contributor) & Dubslaff, C. (Contributor), Zenodo, 10 Jul 2024

  DOI: 10.5281/zenodo.12707100, https://zenodo.org/records/12707100

  Dataset

• Artifact for "CTMCs with Imprecisely Timed Observations"

  Badings, T. (Creator), Volk, M. (Creator), Junges, S. (Creator), Stoelinga, M. (Creator) & Jansen, N. (Creator), Zenodo, 28 Dec 2023

  DOI: 10.5281/zenodo.10438985, https://zenodo.org/records/10438985

  Dataset

• Selected Benchmarks for CNF-to-BDD Compilation

  Dubslaff, C. (Contributor), Husung, N. (Contributor), Käfer, N. (Contributor) & Wirtz, J. (Creator), Zenodo, 19 Oct 2024

  DOI: 10.5281/zenodo.13954564, https://zenodo.org/records/13954564

  Dataset

• Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'

  Neele, T. (Creator), Willemse, T. A. C. (Creator) & Wesselink, W. (Creator), Zenodo, 9 Jan 2020

  DOI: 10.5281/zenodo.3602970

  Dataset