__ _ ___ ___  _   _   _ __ ___   ___ 
   / _` / __/ __|| | | | | '_ ` _ \ / _ \
  | (_| \__ \__ \| |_| |_| | | | | |  __/
   \__,_|___/___(_)__,_(_)_| |_| |_|\___|

"Testing shows the presence, not the absence, of bugs."
                                -- Edsger W. Dijkstra

Goals

  * Define formal method-style framework for high-level
    programming languages (HLL).
  * Define popular HLL in terms of this framework.
  * Parse programs written in HLLs and validate against
    language definition.
  * Detect defective constructs.
  * Ultimate analyze and improve large codebases written
    in the C programming language.
  
References

  * http://en.wikipedia.org/wiki/Formal_methods
  * http://en.wikipedia.org/wiki/High_level_language