In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
logic
first-order-logic
formal-methods
formal-verification
z
formal-specification
z-notations
equational-reasoning
z-notation
proof-systems
equational-logic
-
Updated
Aug 9, 2022 - TeX