VerCors
From MaRDI portal
Cited in
(40)- TraitCbC
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms
- Product programs in the wild: retrofitting program verifiers to check information flow security
- An abstraction technique for describing concurrent program behaviour
- FeatherTrait
- Practical abstractions for automated verification of shared-memory concurrency
- Chalice
- VeriFast
- Smallfoot
- Viper
- GPUVerify
- GKLEE
- Grasshopper
- AIOCJ
- NAT2TEST
- coreStar
- SPHIN
- GRASShopper
- REFINER
- DeltaJ
- AstraVer
- DarwinSPL
- DeltaEcore
- JOANA
- SCCharts
- SCEst
- Edmonds-Karp
- GRace
- AutoProof
- RVT
- CIVL
- Loopy
- Nagini
- WebAssembly
- Verifying Whiley programs with Boogie
- Oclgrind
- Viper: a verification infrastructure for permission-based reasoning
- 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
- Automated verification of the parallel Bellman-Ford algorithm
This page was built for software: VerCors
