Formal Methods and Tools

Search results

• Artifact for Automated Verification of Parallel Nested DFS, TACAS’20

  Oortwijn, W. H. M. (Creator), Huisman, M. (Creator), Joosten, S. J. C. (Creator) & van de Pol, J. (Creator), 4TU.Centre for Research Data, 2020

  DOI: 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b

  Dataset

• A Modest Markov Automata Tutorial (Artifact)

  Hartmanns, A. (Creator) & Hermanns, H. (Contributor), 4TU.Centre for Research Data, 24 Sept 2019

  DOI: 10.4121/uuid:5a73169e-b494-411b-b3a8-051e62efba9e

  Dataset

• A Modest Approach to Modelling and Checking Markov Automata (Artifact)

  Butkova, Y. (Creator), Hartmanns, A. (Contributor) & Hermanns, H. (Contributor), 4TU.Centre for Research Data, 5 Sept 2019

  DOI: 10.4121/uuid:98d571be-cdd4-4e5a-a589-7c5b1320e569, https://doi.org/10.1007/978-3-030-30281-8_4

  Dataset

• Generated Petri Net Markup Language (PNML) models and log traces (in XES)

  Bloemen, V. (Creator), University of Twente, 9 Apr 2018

  DOI: 10.4121/uuid:a6709ee4-2aa3-49a3-92db-247e8b5bf340

  Dataset

• PhD Thesis Artifact: Correct Optimized GPU Programs

  Safari, M. (Creator), 4TU.Centre for Research Data, 31 Jan 2022

  DOI: 10.4121/19055453

  Dataset

• Attack time analysis in dynamic attack trees via integer linear programming: code and data

  Lopuhaä - Zwakenberg, M. A. (Creator), Zenodo, 30 Sept 2021

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

  Dataset

• Generated and industrial PNML models with generated log traces (in XES)

  Bloemen, V. (Creator), University of Twente, 19 Sept 2018

  DOI: 10.4121/uuid:5f168a76-cc26-42d6-a67d-48be9c978309

  Dataset

• Software artefact for FIG: the Finite Improbability Generator

  Budde, C. (Creator), 4TU.Centre for Research Data, 12 May 2020

  DOI: 10.4121/uuid:1d5ddcd6-b3a9-4425-92b3-c46db98b7d8e, https://data.4tu.nl/articles/_/12666818/1

  Dataset

• A Statistical Model Checker for Nondeterminism and Rare Events (Artifact)

  Hartmanns, A. (Creator), Budde, C. E. (Contributor), D'Argenio, P. R. (Contributor) & Sedwards, S. (Distributor), 4TU.Centre for Research Data, 1 Mar 2018

  DOI: 10.4121/uuid:64cd25f4-4192-46d1-a951-9f99b452b48f

  Dataset

• Surpassing Threshold Barriers: Evaluating the Efficacy of Nature-Inspired Algorithms in Detecting Applied Refactorings

  Hemati Moghadam, I. (Creator), Sleurink, M. (Creator) & Zaytsev, V. (Creator), Zenodo, 15 May 2024

  DOI: 10.5281/zenodo.10971388, https://zenodo.org/record/10971389 and one more link, https://doi.org/10.5281/zenodo.10971389 (show fewer)

  Dataset

• Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT

  Saaltink, C. (Creator), Nicoletti, S. M. (Creator), Volk, M. (Creator), Hahn, E. M. (Creator) & Stoelinga, M. (Creator), Zenodo, 21 Jul 2023

  DOI: 10.5281/zenodo.8172548, https://zenodo.org/record/8172549 and 3 more links, https://zenodo.org/record/10940255, https://doi.org/10.5281/zenodo.8172549, https://doi.org/10.5281/zenodo.10940255 (show fewer)

  Dataset

• ProVerB: Dataset of Tools and Formats for Program Verification

  Lathouwers, S. A. M. (Creator) & Zaytsev, V. (Creator), 4TU.Centre for Research Data, 21 Jul 2022

  DOI: 10.4121/20347950.v1

  Dataset

• Extending Refactoring Detection to Kotlin: A Dataset and Comparative Study

  Hemati Moghadam, I. (Creator), Mohammad Mehdi, A. (Creator), Kamalipour, P. (Creator) & Zaytsev, V. (Creator), Zenodo, 6 Jan 2024

  DOI: 10.5281/zenodo.10465264, https://doi.org/10.5281/zenodo.10465265 and one more link, https://zenodo.org/records/10465265 (show fewer)

  Dataset

• Fuzzy quantitative attack tree analysis

  Dang, T. K. N. (Creator), Lopuhaä - Zwakenberg, M. A. (Creator) & Stoelinga, M. I. A. (Creator), Zenodo, 23 Jan 2024

  DOI: 10.5281/zenodo.10554727, https://doi.org/10.5281/zenodo.10554728

  Dataset

• moves-rwth/pycarl: v2.1.0

  Volk, M. (Creator), Junges, S. (Creator), Janson, T. (Creator), Kremer, G. (Creator), Basgöze, D. (Creator) & Klinkeberg, L. (Creator), Zenodo, 31 Jul 2022

  DOI: 10.5281/zenodo.7763174, https://zenodo.org/record/7763174 and 2 more links, https://github.com/moves-rwth/pycarl/tree/2.1.0, https://doi.org/10.5281/zenodo.7763174 (show fewer)

  Dataset

• Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021)

  Hahn, E. M. (Creator), Perez, M. (Creator), Schewe, S. (Creator), Somenzi, F. (Creator), Trivedi, A. (Creator) & Wojtczak, D. (Creator), Zenodo, 29 Apr 2021

  DOI: 10.5281/zenodo.4726528, https://zenodo.org/record/4726528

  Dataset

• Permission-based Verification of Red-Black Trees and Their Merging - Code

  Armborst, L. (Creator), 4TU.Centre for Research Data, 2021

  DOI: 10.4121/13611578.v1, https://data.4tu.nl/articles/_/13611578/1

  Dataset

• DFTRES tool demo (video)

  Budde, C. E. (Creator), figshare, 17 Aug 2020

  DOI: 10.6084/m9.figshare.12792437.v2, https://figshare.com/articles/media/DFTRES_tool_demo_video_/12792437

  Dataset

• Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'

  Badings, T. (Creator), Junges, S. (Creator), Jansen, N. (Creator), Stoelinga, M. (Creator) & Volk, M. (Creator), Zenodo, 6 May 2022

  DOI: 10.5281/zenodo.6523864, https://zenodo.org/record/6523864

  Dataset

• Database of Annotations for Deductive Verifiers

  Lathouwers, S. A. M. (Creator) & Huisman, M. (Supervisor), 4TU.Centre for Research Data, 22 Mar 2022

  DOI: 10.4121/16545714.v1, https://data.4tu.nl/articles/_/16545714 and one more link, https://data.4tu.nl/articles/_/16545714/1 (show fewer)

  Dataset

• [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

  Tasche, P. (Creator), Monti, R. E. (Creator), Drerup, S. E. (Creator), Blohm, P. (Creator), Herber, P. (Creator) & Huisman, M. (Creator), Zenodo, 14 Sept 2023

  DOI: 10.5281/zenodo.8341170, https://zenodo.org/record/8341170

  Dataset

• Progress Measures and Tangle Learning algorithm implementation and benchmarks

  Stekelenburg, A. (Creator) & van Dijk, T. (Contributor), Zenodo, 23 Jan 2024

  DOI: 10.5281/zenodo.10558315, https://zenodo.org/record/10558316 and one more link, https://doi.org/10.5281/zenodo.10558316 (show fewer)

  Dataset

• Artifact of Knor: reactive synthesis using Oink

  van Dijk, T. (Creator), 4TU.Centre for Research Data, 9 Nov 2023

  DOI: 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7, https://data.4tu.nl/datasets/8794d8c0-5959-42f9-ba34-68f2137145a7 and one more link, https://data.4tu.nl/datasets/8794d8c0-5959-42f9-ba34-68f2137145a7/1 (show fewer)

  Dataset

• Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)

  Badings, T. S. (Creator), Hartmanns, A. (Contributor), Jansen, N. (Creator) & Suilen, M. (Creator), 4TU.Centre for Research Data, 8 Mar 2023

  DOI: 10.4121/14185139, https://data.4tu.nl/articles/_/14185139 and 2 more links, https://data.4tu.nl/articles/_/14185139/1, https://doi.org/10.4121/14185139.v1 (show fewer)

  Dataset

• Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

  Lammich, P. (Creator), 4TU.Centre for Research Data, 19 Jul 2022

  DOI: 10.4121/20318514.v1, https://data.4tu.nl/articles/_/20318514/1

  Dataset