formal Methods in System design (Hybrid)