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