This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Stefan Blom
A grouping.
VerCors, the verifier for concurrent and parallel programs: two tool papers and 'Witnessing the elimination of magic wands', which attacks the connective the separation-logic set names as where the difficulty of automating the logic lives.
3 references
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Stefan Blom and others (2017) · Integrated Formal Methods · Springer
Witnessing the elimination of magic wands
Stefan Blom and others (2015) · International Journal on Software Tools for Technology Transfer · Springer
The VerCors tool for verification of concurrent programs
Stefan Blom and others (2014) · International Symposium on Formal Methods · Springer