Formal Methods and Tools

Search results

• 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

• 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

• 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

• 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

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

  DOI: 10.5281/zenodo.5541760

  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

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

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

  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

• Evaluation of Specification Inference Tools for Deductive Verification

  Lathouwers, S. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 19 Jun 2023

  DOI: 10.4121/9c83933e-8406-4e49-ac4d-1f8bb55ed988, https://data.4tu.nl/datasets/9c83933e-8406-4e49-ac4d-1f8bb55ed988 and one more link, https://data.4tu.nl/datasets/9c83933e-8406-4e49-ac4d-1f8bb55ed988/1 (show fewer)

  Dataset

• Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"

  Armborst, L. (Creator), Lathouwers, S. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 5 Sept 2023

  DOI: 10.4121/21e79524-40c4-4dc1-8108-94e7b6fc6d9f, https://data.4tu.nl/datasets/21e79524-40c4-4dc1-8108-94e7b6fc6d9f and one more link, https://data.4tu.nl/datasets/21e79524-40c4-4dc1-8108-94e7b6fc6d9f/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

• 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. I. A. (Creator), Zenodo, 21 Jul 2023

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

  Dataset

• Card sorting data for Formal methods for GPGPU programming: is the demand met?

  Haak, L. B. V. D. (Creator), Wijs, A. (Creator), Brand, M. V. D. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 2 Nov 2020

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

  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

• 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

• 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, 21 Aug 2023

  DOI: 10.4121/aff9f553-0e9e-4ec2-90e0-20c5b6152862, https://data.4tu.nl/datasets/aff9f553-0e9e-4ec2-90e0-20c5b6152862 and one more link, https://data.4tu.nl/datasets/aff9f553-0e9e-4ec2-90e0-20c5b6152862/1 (show fewer)

  Dataset

• A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)

  Hartmanns, A. (Creator), Junges, S. (Creator), Quatmann, T. (Creator) & Weininger, M. (Creator), Zenodo, 5 Jan 2023

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

  Dataset

• Lightweight Statistical Model Checking in Nondeterministic Continuous Time (Artifact)

  Hartmanns, A. (Creator), D'Argenio, P. R. (Contributor) & Sedwards, S. (Contributor), 4TU.Centre for Research Data, 2018

  DOI: 10.4121/uuid:1453a13b-10ae-418f-a1ae-4acf96028118

  Dataset

• Database of Annotations for Deductive Verifiers

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

  DOI: https://doi.org/10.4121/16545714.v1, https://data.4tu.nl/articles/_/16545714

  Dataset

• Specification Translator: Tool to Translate Specifications for Deductive Verifiers

  Lathouwers, S. (Creator), Armborst, L. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 19 Jun 2023

  DOI: 10.4121/21820458, https://data.4tu.nl/datasets/a85a3b8a-db37-496b-860a-d3cbc988dc9d and one more link, https://data.4tu.nl/datasets/a85a3b8a-db37-496b-860a-d3cbc988dc9d/1 (show fewer)

  Dataset

• Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

  Şakar, Ö. F. O. (Creator), Safari, M. (Creator), Huisman, M. (Creator) & Wijs, A. (Creator), 4TU.Centre for Research Data, 22 Nov 2021

  DOI: 10.4121/16938556.v2, https://data.4tu.nl/articles/_/16938556/2

  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

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

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

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

  Dataset