Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
6
Program languages
1
Licenses
1
1-1 of 1
Logo for Specification Translator: Tool to Translate Specifications for Deductive Verifiers

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