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

• Reproduction Package for FMICS 2025 Submission `Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'

  Lingsch-Rosenfeld, M. (Creator), Beyer, D. (Creator), Huisman, M. (Creator) & Armborst, L. (Creator), Zenodo, 11 Apr 2025

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

  Dataset

• Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"

  Hartmanns, A. (Creator), Kohlen, B. (Creator) & Lammich, P. (Creator), 4TU.Centre for Research Data, 31 Oct 2023

  DOI: 10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862, https://data.4tu.nl/datasets/aff9f553-0e9e-4ec2-90e0-20c5b6152862 and 2 more links, https://doi.org/10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v1, https://doi.org/10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862.v2 (show fewer)

  Dataset

• Requirements for an Automated Assesment Tool for Learning Programming by Doing

  Mader, A. (Creator), Rump, A. (Creator) & Zaytsev, V. (Creator), Zenodo, 25 Oct 2024

  DOI: 10.5281/zenodo.13992349, https://zenodo.org/records/13992349 and 4 more links, https://zenodo.org/records/13992350, https://doi.org/10.5281/zenodo.13992350, https://zenodo.org/records/14627201, https://doi.org/10.5281/zenodo.14627201 (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

• Artifact for "Modular criticality analysis for dynamic fault trees"

  Sher, F. (Creator), Stoelinga, M. (Creator) & Volk, M. (Creator), Zenodo, 7 Nov 2024

  DOI: 10.5281/zenodo.13338380, https://doi.org/10.5281/zenodo.13338380 and 2 more links, https://doi.org/10.5281/zenodo.13338381, https://zenodo.org/records/13338381 (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

• webANIMO front end source code

  Siers, W. (Creator), Bakker, M. (Creator), Rubbens, B. (Creator), Haasjes, R. (Creator), Brandt, J. (Creator) & Schivo, S. (Creator), Zenodo, 6 Jul 2016

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

  Dataset

• Coverage-Driven SLAM Testing

  Tasche, P. (Creator) & Herber, P. (Creator), 4TU.Centre for Research Data, 25 Jan 2023

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

  Dataset

• QuestionMark

  Zandbergen, N. (Creator), van Keulen, M. (Creator), van Dijk, T. (Creator) & Flokstra, J. (Creator), Zenodo, 25 Jun 2023

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

  Dataset

• Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

  van der Wal, D. (Creator), Gerhold, M. (Creator) & Stoelinga, M. (Creator), 4TU.Centre for Research Data, 26 Jul 2023

  DOI: 10.4121/237905e5-54cc-4a98-abf3-38324d516bf3, https://data.4tu.nl/datasets/237905e5-54cc-4a98-abf3-38324d516bf3 and one more link, https://data.4tu.nl/datasets/237905e5-54cc-4a98-abf3-38324d516bf3/1 (show fewer)

  Dataset

• Executable BDD Scenario Models for RobotframeworkMBT

  Zameni, T. (Creator) & Foederer, J. (Contributor), Zenodo, 19 Feb 2025

  DOI: 10.5281/zenodo.14892704, https://zenodo.org/records/14892705 and 3 more links, https://doi.org/10.5281/zenodo.14892705, https://zenodo.org/records/15017205, https://doi.org/10.5281/zenodo.15017205 (show fewer)

  Dataset

• Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller (Extended Version)

  van der Wal, D. (Creator), Gerhold, M. (Creator), Rensink, A. (Creator) & Stoelinga, M. (Creator), 4TU.Centre for Research Data, 12 Feb 2025

  DOI: 10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867, https://data.4tu.nl/datasets/49fe4e0a-a92a-4fd6-b567-9dd408ff9867 and 2 more links, https://data.4tu.nl/datasets/49fe4e0a-a92a-4fd6-b567-9dd408ff9867/1, https://doi.org/10.4121/49fe4e0a-a92a-4fd6-b567-9dd408ff9867.v1 (show fewer)

  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

• Data for paper "Parametric analyses of attack-fault trees"

  André, É. (Creator), Lime, D. (Creator), Ramparison, M. (Creator), Stoelinga, M. (Creator), Ramparison, M. (Contributor), André, É. (Contributor), Lime, D. (Contributor) & Stoelinga, M. (Contributor), Zenodo, 14 Apr 2020

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

  Dataset

• Sampling Distributed Schedulers for Resilient Space Communication (Artifact)

  Hartmanns, A. (Creator), 4TU.Centre for Research Data, 3 Nov 2020

  DOI: 10.4121/uuid:6aa24e1a-3551-4073-b533-4ba6e408212d, https://data.4tu.nl/articles/_/12764687/1

  Dataset

• Artifact for Paper: (Deductive verification of SYCL in VerCors)

  Şakar, Ö. (Creator), Wittingen, E. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 5 Jul 2024

  DOI: 10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028, https://data.4tu.nl/datasets/45d37292-cce5-4fb7-8d4e-a1b32cfa3028 and 2 more links, https://data.4tu.nl/datasets/45d37292-cce5-4fb7-8d4e-a1b32cfa3028/1, https://doi.org/10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028.v1 (show fewer)

  Dataset

• Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

  Kohlen, B. (Creator), Maximilian, S. (Creator), Abdulaziz, M. (Creator), Hartmanns, A. (Creator) & Lammich, P. (Creator), 4TU.Centre for Research Data, 11 Apr 2025

  DOI: 10.4121/bf0fef24-4f0f-4de6-a58d-07b9ba601804, https://data.4tu.nl/datasets/bf0fef24-4f0f-4de6-a58d-07b9ba601804 and 4 more links, https://doi.org/10.4121/bf0fef24-4f0f-4de6-a58d-07b9ba601804.v1, https://data.4tu.nl/datasets/bf0fef24-4f0f-4de6-a58d-07b9ba601804/1, https://doi.org/10.4121/bf0fef24-4f0f-4de6-a58d-07b9ba601804.v2, https://data.4tu.nl/datasets/bf0fef24-4f0f-4de6-a58d-07b9ba601804/2 (show fewer)

  Dataset