All software
3 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-3 of 3
Artifact to supplement the tool-paper: Spectral - Translating Specifications for Deductive Verification into LLVM-IR
Artifact to supplement the tool-paper: Spectral - Translating Specifications for Deductive Verification into LLVM-IR
- Deductive verification
- LLVM
- LLVM-IR
- + 4
2
0
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
- Annotations
- Deductive verification
- Specifications
- + 1
3
0
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
- Annotations
- Deductive verification
- Semantics
- + 3
- Other
3
0