aud1t

Verification infrastructure.

A verification primitive for modern systems.