e/Model-based specification

Information
has gloss	eng: Model-based specification is an approach to formal specification where the system specification is expressed as a system state model.This state model is constructed using well-understood mathematical entities such as sets and functions. System operations are specified by defining how they affect the state of the system model.
lexicalization	eng: Model-based specification
instance of	e/Formal methods