ASP Verification

[Durbatuluk1701]

We want a generalized architecture for the following major verification tasks:

1. ASP's meet a certain type signature
2. ASP's do not do anything bad
3. $Appr\ (Meas\ x)\ =\ Good \iff$ x was Good