Datasets
- 4 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
-
Database of Annotations for Deductive Verifiers
Lathouwers, S. A. M. (Creator) & Huisman, M. (Supervisor), 4TU.Centre for Research Data, 2022
DOI: https://doi.org/10.4121/16545714.v1
Dataset
-
Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
Rubbens, B. (Creator), Huisman, M. (Creator) & Lathouwers, S. A. M. (Creator), 4TU.Centre for Research Data, 25 Aug 2021
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
Dataset