Stefan Blom
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
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
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.
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