4 ms·The "real" specification (if it can be said to exist) is the abstract spec, in Isabelle/HOL.by cmrx64 10y agoThe "real" specification (if it can be said to exist) is the abstract spec, in Isabelle/HOL.