Three-Valued Logic Shape Analyzer [slide]

An example of TVLA [slide]