VerCors
From MaRDI portal
Software:23205
swMATH11259MaRDI QIDQ23205FDOQ23205
Author name not available (Why is that?)
Cited In (9)
- Verifying Whiley programs with Boogie
- 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
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
- An abstraction technique for describing concurrent program behaviour
- Automated verification of the parallel Bellman-Ford algorithm
- Viper: A Verification Infrastructure for Permission-Based Reasoning
- Principled Software Development
- Practical abstractions for automated verification of shared-memory concurrency
This page was built for software: VerCors
