VerCors
From MaRDI portal
Cited in
(40)- Oclgrind
- An abstraction technique for describing concurrent program behaviour
- Chalice
- VeriFast
- Verifying Whiley programs with Boogie
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
- Automated verification of the parallel Bellman-Ford algorithm
- Smallfoot
- GPUVerify
- GKLEE
- Grasshopper
- Viper
- Viper: a verification infrastructure for permission-based reasoning
- AIOCJ
- NAT2TEST
- coreStar
- SPHIN
- GRASShopper
- REFINER
- DeltaJ
- AstraVer
- JOANA
- SCCharts
- SCEst
- DarwinSPL
- DeltaEcore
- Edmonds-Karp
- GRace
- AutoProof
- RVT
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- CIVL
- WebAssembly
- Loopy
- Nagini
- FeatherTrait
- TraitCbC
- Practical abstractions for automated verification of shared-memory concurrency
- Product programs in the wild: retrofitting program verifiers to check information flow security
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms
This page was built for software: VerCors
