supermartian/le-verification

Things that are needed for formally verifying a system