|
Sep 29, 2024
|
|
|
|
CAS 707 / Formal Specification Techniques 3 unit(s)
Staff
Pre/Postconditions, refinement, state-based approaches, event based approaches, algebraic specifications, Petri nets, temporal logic, properties of programs, and specification, verification, and validation.
Add to Favourites (opens a new window)
|
|