Hide/Show Apps

Implementation of an efficient verification method for finite stae programs.