LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

C

Scalable-Deductive-Verification-of-Data-Level-Parallel-Programs

Lean proof, experiments and VerCors version for the paper 'Scalable Deductive Verification of Data-Level Parallel Programs' submitted to CAV 2026

CEmerging

Stars

—

Forks

—

Contributors

2

Last push

2mo ago

Recent commits

Latest commits.

Better experiments, leanproof and docker
8162f6fLars2mo ago
Change VerCors
2faca31Lars2mo ago
Better progress description for experiment scripts
1e87208Lars2mo ago
Add artefact
915a2a6Cav2026Anonymous5mo ago

Top contributors

Builders behind this project.

sakehl

3 commits

cav2026-anonymous