GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Program Verification for Operating System Kernels

Program Verification for Operating System Kernels

1 faculty research Program Verification for Operating System Kernels on GradNova.

C
Colin Gordon

Associate Professor & Associate Department Head for Undergraduate Affairs, Computer Science

Computer Science

Drexel University

Computational Linguistics
Program Verification for Operating System Kernels
Programming Languages and Formal Methods
Type and Effect Systems
+5