Datasets
- 17 results
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
-
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
-
[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
-
Artifact of: VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory
Rubbens, R. (Creator), Huisman, M. (Creator) & van den Bos, P. (Creator), Zenodo, 20 Aug 2024
DOI: 10.5281/zenodo.13348213, https://zenodo.org/records/13348214 and 2 more links, https://doi.org/10.5281/zenodo.13348214, https://github.com/utwente-fmt/vercors (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
Dataset
-
Artifact to supplement the paper: The VerCors Verifier: a Progress Report
Armborst, L. (Creator), Bos, P. (Creator), van den Haak, L. (Creator), Huisman, M. (Creator), Rubbens, R. (Creator), Şakar, Ö. (Creator) & Tasche, P. (Creator), 4TU.Centre for Research Data, 10 Apr 2024
DOI: 10.4121/a5f97e07-9f84-4223-b581-6d2606fe07ba, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba and 3 more links, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba/1, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba/2, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba/3 (show fewer)
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 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
-
Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
Rubbens, B. (Creator), Huisman, M. (Creator) & Lathouwers, S. (Creator), 4TU.Centre for Research Data, 25 Aug 2021
DOI: 10.4121/14905251, https://data.4tu.nl/articles/_/14905251 and one more link, https://data.4tu.nl/articles/_/14905251/1 (show fewer)
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
-
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
-
Artifact for paper (First Steps towards Deductive Verification of LLVM IR)
Şakar, Ö. F. O. (Creator), van Oorschot, D. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 11 Jan 2024
DOI: 10.4121/9c8c079e-a941-4a66-89d8-3462bf30ff05, https://data.4tu.nl/datasets/9c8c079e-a941-4a66-89d8-3462bf30ff05 and one more link, https://data.4tu.nl/datasets/9c8c079e-a941-4a66-89d8-3462bf30ff05/1 (show fewer)
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
-
Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material
Armborst, L. (Creator), Lathouwers, S. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 18 Sept 2023
DOI: 10.4121/73361fbb-2633-4011-b615-cce19d8ac196, https://data.4tu.nl/datasets/73361fbb-2633-4011-b615-cce19d8ac196 and one more link, https://data.4tu.nl/datasets/73361fbb-2633-4011-b615-cce19d8ac196/1 (show fewer)
Dataset
-
Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
Rubbens, R. (Creator), Safina, L. (Creator), Huisman, M. (Creator), Bliudze, S. (Creator) & van den Bos, P. (Creator), 4TU.Centre for Research Data, 13 Mar 2024
DOI: 10.4121/21763274, https://data.4tu.nl/datasets/c24f1f76-19f3-456b-b6cd-087eef905e5d and one more link, https://data.4tu.nl/datasets/c24f1f76-19f3-456b-b6cd-087eef905e5d/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), 4TU.Centre for Research Data, 19 Sept 2023
DOI: 10.4121/a7e780c9-87fa-486c-b484-a76a459a9d53, https://data.4tu.nl/datasets/a7e780c9-87fa-486c-b484-a76a459a9d53
Dataset
-
[Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems
Tasche, P. (Creator), Herber, P. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 30 Jun 2024
DOI: 10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a, https://data.4tu.nl/datasets/86963fe3-cc3f-45c3-b252-00d8780c4a1a and 4 more links, https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a, https://data.4tu.nl/datasets/86963fe3-cc3f-45c3-b252-00d8780c4a1a/1, https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a.v1, https://data.4tu.nl/datasets/86963fe3-cc3f-45c3-b252-00d8780c4a1a/2 (show fewer)
Dataset