{"node":{"id":13367,"uuid":"dbe2fa44-ed62-415e-a1ec-07de8028d30f","title":"From Spec To Formal Properties","url":"https:\/\/xmt.pub\/node\/13367","created":1787817686},"trust_level":"l0_aggregate","publisher":null,"source_url":"https:\/\/semiengineering.com\/from-spec-to-formal-properties\/","provenance":{"algorithm":"sha256(source_url|publisher_id|created)","stored":"5c6c3c6686fdd5eeace5f7f35c9fe0a690c8f4de5bb50fac611b88efbd173d90","expected":"5c6c3c6686fdd5eeace5f7f35c9fe0a690c8f4de5bb50fac611b88efbd173d90","status":"verified"}}