janhaag/PSE2011 — Issue #63: Topic "Verifier" missing
Author: ratefuchs
Created: 2012-02-28 17:02:47+00:00
State: open
Labels: Documentation

There is no dedicated topic "Verifier" that covers the behavior of specification statements and the verifier results.
Additionally, there should be a detailed description of the different proof obligations.