302.925 datasets geïndexeerd1.416 uitgevers
Open Data IndexDe index van open data over Nederland
Datasets›4TU.ResearchData (via DataCite)

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

4TU.ResearchDatavia 4TU.ResearchData (via DataCite) · bijgewerkt 5 september 2023
Open bij doi.org

Wat erin zit

We present the Specification Translator, a tool that has been implemented as part of our research titled "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation".hen using deductive verifiers to prove a program’s correctness, users have to write formal specifications.Unfortunately, each tool uses its own specification language for this, which makes it difficult to reuse the specifications.This tool makes this process quicker & easier by automatically translating such specifications in verified Java programs from one specification language to another. It supports the tools Krakatoa, OpenJML and VerCors.The tool takes an annotated Java program and a target tool as input. It will then generate an annotated Java program where the annotations have been translated. This artifact allows you to reproduce the evaluation discussed in the paper.For more information, we refer to the ReadMe inside the artifact.

Bestanden en diensten

  • DataCite REST API (JSON)api.datacite.org
    Openen

Vergelijkbare datasets

Specification Translator: Tool to Translate Specifications for Deductive Verifiers4TU.ResearchData4TU.ResearchData (via DataCite)2023-06-19Artifact to supplement the tool-paper: Spectral - Translating Specifications for Deductive Verification into LLVM-IR4TU.ResearchData4TU.ResearchData (via DataCite)2026-09-04Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation - Supplemental Material4TU.ResearchData4TU.ResearchData (via DataCite)2023-09-18Evaluation of Specification Inference Tools for Deductive Verification4TU.ResearchData4TU.ResearchData (via DataCite)2023-06-19Artifact for paper (First Steps towards Deductive Verification of LLVM IR)4TU.ResearchData4TU.ResearchData (via DataCite)2024-01-11Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"4TU.ResearchData4TU.ResearchData (via DataCite)2023-10-31Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)4TU.ResearchData4TU.ResearchData (via DataCite)2026-03-19Data accompanying the publication:Reducing artifacts in photoacoustic imaging by using multi-wavelength excitation and transducer displacement4TU.ResearchData4TU.ResearchData (via DataCite)2021-01-20

Meer van 4TU.ResearchData6.716 datasets

Data for "Fluid mud impacts on estuarine sediment import"4TU.ResearchData (via DataCite)2026-10-19Data/Computational pipeline underlying the MSc thesis: What roots regenerative agriculture? A value perspective on regenerative agriculture, specifically in the Zuid-Hollandse Delta4TU.ResearchData (via DataCite)2026-10-19Model data and supplementary material underlying the publication: Impacts of urban Nature-based Solutions beyond the city: Exploring the catchment-scale hydrological responses to de-sealing4TU.ResearchData (via DataCite)2026-10-19The General Aviation Aircraft Family Python Benchmark Problem (GAAFpy)4TU.ResearchData (via DataCite)2026-10-18Simulation dataset supporting the paper "Effects of nozzle geometry on particle transport and wall contact energy in post-mixed ice abrasive waterjets"4TU.ResearchData (via DataCite)2026-10-18Raw data and scripts supporting measurements of topologically trivial states at the edges of Bi(110) on Ge(111)4TU.ResearchData (via DataCite)2026-10-18