The goal of the Program Synthesis Projects is to use techniques from artificial intelligence and formal methods to raise the level at which users program to the specification level (which describes the problem to be solved) from the code level (which describes how to solve the problem).

The goal of this project is to develop and apply automated tools, such as model checkers and static analyzers, in the verification and validation of critical software systems.

Last modified: Aug. 22, 2008 by Allen Dutra.