Search for tag: "safety verification"

Safety verification 3.1: Live lecture

Verifying invariance properties; introduction to SMT solvers

From  Sayan Mitra 88 plays 0