Assertion: functional specification | /r/CapableOf | specify system
Facets:
value: as a structure of mathematical functions
type: OTHER
Source sentences:
text: Functional specification  specify a system as a structure of mathematical functions OBJ, ASL, PLUSS, LARCH, HOL or PVS rely on this paradigm