-
Notifications
You must be signed in to change notification settings - Fork 13
specification
PierreVDL edited this page May 31, 2017
·
6 revisions
specification ::= (modelDefs | cnectDefs | chanDefs | typeDefs | constDefs | funcDefs | procDefs | stautDefs)*
A specification contains zero or more definitions.
- To step a specification at least a Model Definition and Channel Definition are needed.
- To test a SUT at least a Model Definition, Channel Definition and Connection Definition are needed.
- To simulate a system at least a Model Definition, Channel Definition and Connection Definition are needed.