Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.

Dawson R. Engler Benjamin Chelf Andy Chou Seth Hallem Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. 1-16 2000 OSDI db/conf/osdi/osdi2000.html#EnglerCCH00