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.
Peter Müller
A grouping.
Peter Müller: verification infrastructure - Viper, Gobra for Go, magic-wand automation, the JML manual - and, unusually, the SCION book and two chapters (open correction requests).
8 references
The Complete Guide to SCION
Laurent Chuat and others (2022) · Springer
Data Plane
Laurent Chuat and others (2022) · The Complete Guide to SCION · Springer Nature
Extensions for the Control Plane
Laurent Chuat and others (2022) · The Complete Guide to SCION · Springer International Publishing
Sound automation of magic wands
Thibault Dardinier and others (2022) · 34th International Conference on Computer Aided Verification (CAV) · Springer
Gobra: Modular specification and verification of Go programs
Felix A. Wolf and others (2021) · 33rd International Conference on Computer Aided Verification (CAV) · Springer
Viper: A verification infrastructure for permission-based reasoning
Peter Müller and others (2016) · Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17 · Springer
JML Reference Manual
Gary T. Leavens and others (2013)
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer