Claim record

Specifier model translates clinical trial criteria into Dafny predicate

assertion Cyber capability 1 mention first seen 2026-11-06

Evidence