TY  - THES
TI  - Environment for formal verification of safety critical systems
AU  - Kovše, T.
PY  - 2011
SP  - 1
EP  - 98
UR  - http://dkum.uni-mb.si/Dokument.php?id=24275
KW  - formal verification
KW  - safety critical systems
KW  - Spin
KW  - Rich Client Platform