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
- 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
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
- An abstraction technique for describing concurrent program behaviour
- Viper: a verification infrastructure for permission-based reasoning
- Automated verification of the parallel Bellman-Ford algorithm
- Practical abstractions for automated verification of shared-memory concurrency
This page was built for software: VerCors
