1. 1
    Learning formal verification by writing a spec for verifying a zero-downtime database migration in PlusCal formalmethods biradarganesh25.github.io
    hwayne avatar via hwayne 2 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments

  1.