All software
7 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-7 of 7
[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
6
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 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
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