The following pages link to VerCors (Q23205):
Displaying 9 items.
- Practical abstractions for automated verification of shared-memory concurrency (Q784156) (← links)
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
- An abstraction technique for describing concurrent program behaviour (Q1630044) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA (Q2120963) (← links)
- Automated verification of the parallel Bellman-Ford algorithm (Q2145339) (← links)
- Viper: A Verification Infrastructure for Permission-Based Reasoning (Q2796035) (← links)
- Principled Software Development (Q4558903) (← links)