Documente Academic
Documente Profesional
Documente Cultură
120 layout
Currently implemented
Analysis:
MSCs
Z.120 Syntax
Code Synthesis MSC Editor/Display Syntactic Analyzer Normalization
Non-local choice
result Process-divergence
Timing consistency
design
resource decisions:
channels
SDL, ROOM, Promela capacities
Model-based Analyzer
history variables
liveness requirements
recorded result
consistency requirements
traces