Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
12
Program languages
8
Licenses
2
1-2 of 2
Logo for Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

  • Correct-by-construction
  • Floating-point
  • IEEE 754
  • + 6
  • Other
  • C
  • JSON
  • + 5
5
0
Logo for Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

  • Concurrent Separation Logic
  • Isabelle
  • LLVM
  • + 1
    1
    0