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.
David A. Basin
A grouping.
David A. Basin, in two unrelated fields 30 years apart: Cornell Nuprl hardware verification and verified CMOS synthesis (1989-91), and the SCION book and chapters from ETH Zurich (2022).
6 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
Igloo: soundly linking compositional refinement and separation logic for distributed system verification
Christoph Sprenger and others (2020) · Association for Computing Machinery (ACM)
Formally verified synthesis of combinational CMOS circuits
David A. Basin and others (1991) · Integration, the VLSI Journal · Elsevier BV
Verification of Combinational Logic in Nuprl
David A. Basin and others (1989) · Cornell University