•
•Formal method:
works only with notation
•i.e. with
written graphical signs without any meaning.
•
•
•Since formal
methods will be dependent upon the quality of notation,
•i.e. how
detailed and graphically standardized it is, notation
•conventions
have to be complied with before performing an analysis.
•