alibi
cargoChecks that running systems actually do what their formal specs say — and that the specs actually say something. Early design stage; this release reserves the name.
Audits
No audits for this package yet.
Checks that running systems actually do what their formal specs say — and that the specs actually say something. Early design stage; this release reserves the name.