-
Notifications
You must be signed in to change notification settings - Fork 13
Language_Definition
Kerem Ispirli edited this page Jul 14, 2017
·
1 revision
Language Definition¶
Syntax¶
| specification | ( [modelDefs](ModelDefs) | [cnectDefs](CnectDefs) | [chanDefs](ChanDefs) | [typeDefs](TypeDefs) | [constDefs](ConstDefs) | [funcDefs](FuncDefs) | [procDefs](ProcDefs) | [stautDef](StautDef) ) * |
Semantics¶
A specification contains zero or more definitions.
A Model Definition is needed to step a TorXakis model.
A Model Definition and Connection Definition are minimally needed to test a SUT or simulate a system using a TorXakis model.