Datasets
- 5 results
Search results
-
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
-
[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 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] 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