Source: cirosantilli/formal-verification

= Formal verification
{wiki}

= Formally verified
{synonym}