MECHA

Formal verification of conjunctive human-AI execution governance using TLA+; collaborative research with VALO verification contributions.

Archived publication

This research object is publicly archived on Zenodo with DOI 10.5281/zenodo.20668225.

Status

This VALO page is the stable human-readable entry point. Zenodo remains the citable archival record and source of record for deposited files and metadata.