Improving Computer Security using Extended Static Checking

From Practical Software Verification

Quickly

The paper describes the implementation of Eau Claire tool written by Brian Chess, current chief scientist at Fortify. The project uses an extended guarded command language and a theorem prover to find vulnerabilities.

LINKS

Project page: http://www.vantuyl.com/chess/EauClaire/ (no code)