Skip to main content
Ctrl K

All software

9 software items. Page 1 of 1. 12 items per page. 1 filters active.
1-9 of 9

[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

  • Deductive verification
  • embedded systems
  • parameterized systems
  • + 2
6
9

Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

  • concurrent systems
  • Deductive verification
  • formal methods
  • + 3
5
4

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

  • Deductive verification
  • formal methods
  • GPU
  • + 2
  • C
  • C++
  • Markdown
  • + 4
1
0

Artifact for Article: Extending Deductive Verification of SYCL in VerCors with Sub-groups

Artifact for Article: Extending Deductive Verification of SYCL in VerCors with Sub-groups

  • Deductive verification
  • heterogeneous computing
  • SYCL
  • + 1
4
0

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)

  • Annotation-aware
  • Deductive verification
  • GPU
  • + 2
4
0

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

Permission-based Verification of Red-Black Trees and Their Merging - Code

Permission-based Verification of Red-Black Trees and Their Merging - Code

  • Deductive verification
  • magic wand
  • producer-consumer pattern
  • + 3
1
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