Formal Methods Model-theoretic VDM, Z Algebraic ACT One, Larch , OBJ Concurrent processes CCS, CSP, Petri Nets Finite State Machines Esterel, Statecharts Hybrid LOTOS, SDL Types of Formal Methods Property-based Description of the operations that can be perform on a system, and the relationships between operations. More specifically: A signature part which de nes the syntax of operations (what parameters they take and return); An equations part, which de ne the semantics of the…
Words 761 - Pages 4