It definitely seems to be close to what I was thinking of. The validation and verification aspect of it seems well suited to applying pre-defined laws (such as

It definitely seems to be close to what I was thinking of. The validation and verification aspect of it seems well suited to applying pre-defined laws (such as a constitution, laws of Congress etc).