Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
4
Program languages
0
Licenses
1
1-1 of 1
Logo for 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"

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

  • Annotations
  • Deductive verification
  • Specifications
  • + 1
    3
    0