David A. Basin

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.

David A. Basin

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).

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