- unexecutable
-
adj.
* * *
Universalium. 2010.
unexecutable
Look at other dictionaries:
unexecutable — adj … Useful english dictionary
Promela — (Process or Protocol Meta Language) is a verification modeling language. The language allows for the dynamic creation of concurrent processes to model, for example, distributed systems. In PROMELA models, communication via message channels can be … Wikipedia
