Formal Methods In Support Of Smc Design door