GitHub - sskeirik/ibos-spec: IBOS specification for Maude

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
inva		inva
original		original
ibos.inva		ibos.inva
ibos.maude		ibos.maude
ibos.preds.maude		ibos.preds.maude
policy-table.txt		policy-table.txt

Provide feedback