Data · dataset · 2018
A Non-linear Arithmetic Procedure for Control-Command Software Verification
Listed in DataCite
This dataset contains data and source code relating to the paper "A Non-linear Arithmetic Procedure for Control-Command Software Verification", and enables the replication of the Experimental Results section of the paper.
Description
The paper investigated a-posteriori validation methods and their integration into the SMT (Satisfiability Modulo Theories) framework, with a prototype integrated into the Alt-Ergo SMT solver. A modified version of the Alt-Ergo SMT solver and its sources are provided in the tarball alt-ergo-1.30+osdp.tgz.
The dataset consists of compressed .deb and .tar files. A README file is included which includes both standard installation instructions and instructions for installation without a network.
Links
Where it is published
- Repository landing page springernature.figshare.com/articles/A_Non-linear_Arithmetic_Procedure_for_Control-Command… ↗
landing page · from DataCite
- Repository landing page springernature.figshare.com/articles/A_Non-linear_Arithmetic_Procedure_for_Control-Command… ↗
landing page · from DataCite
- DOI doi.org/10.6084/m9.figshare.5900260 ↗
DOI / persistent id · from DataCite
- DOI doi.org/10.6084/m9.figshare.5900260.v1 ↗
DOI / persistent id · from DataCite
Documentation and papers
- Creative Commons Zero v1.0 Universal creativecommons.org/publicdomain/zero/1.0/legalcode ↗
license · from DataCite
- IsSupplementTo 10.1007/978-3-319-89963-3_8 doi.org/10.1007/978-3-319-89963-3_8 ↗
publication · from DataCite
Catalogue records · 4
- DataCite API api.datacite.org/dois/10.6084/m9.figshare.5900260.v1 ↗
metadata API · from DataCite
- DataCite API api.datacite.org/dois/10.6084/m9.figshare.5900260 ↗
metadata API · from DataCite
- DataCite Commons commons.datacite.org/doi.org/10.6084/m9.figshare.5900260 ↗
catalogue entry · from DataCite
- DataCite Commons commons.datacite.org/doi.org/10.6084/m9.figshare.5900260.v1 ↗
catalogue entry · from DataCite
Topics
Provenance · 2 source records, 10 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| DataCite | 10.6084/m9.figshare.5900260 | 12 d ago | JSON v1 |
| DataCite | 10.6084/m9.figshare.5900260.v1 | 12 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · DataCite | connector:datacite@1.0.0 | /data/attributes/rightsList |
| byte_size | source · DataCite | connector:datacite@1.0.0 | |
| concepts[field].fos:electrical-engineering-electronic-engineering-information-engineering | source · DataCite | connector:datacite@1.0.0 | |
| concepts[field].fos:electrical-engineering-electronic-engineering-information-engineering | source · DataCite | connector:datacite@1.0.0 | |
| created_date | source · DataCite | connector:datacite@1.0.0 | |
| description | source · DataCite | connector:datacite@1.0.0 | /data/attributes/descriptions |
| license | source · DataCite | connector:datacite@1.0.0 | /data/attributes/rightsList |
| publication_date | source · DataCite | connector:datacite@1.0.0 | /data/attributes/dates |
| title | source · DataCite | connector:datacite@1.0.0 | /data/attributes/titles/0/title |
| updated_date | source · DataCite | connector:datacite@1.0.0 |