The Anchor Verifier for Blocking and Non-blocking Concurrent Software
Cormac Flanagan and Steve Freund present Anchor,
a new verifier for concurrent programs.
More details at http://www.anchor-verifier.com.
The Anchor Verifier for Blocking and Non-blocking Concurrent Software
Paper DOI: https://doi.org/10.1145/3428224
Presented at OOPSLA, part of SPLASH 2020
By Cormac Flanagan, Stephen N. Freund