"PAT verification tools"@en . "This paper is introducing tools and techniques for verification of complex HW/SW applications with high degree of parallelism. Strength and weakness of each approach is discussed. Example of straightforward LTS verification process is given with help PAT software" . "Model checking, verification, CSP, LTS, RTS, LTL, assertions, PAT"@en . "23220" . "Verifika\u010Dn\u00ED n\u00E1stroje aplikace PAT" . . "S" . "1"^^ . . "113929" . . . . "Piterka, Lubo\u0161" . . . "Verifika\u010Dn\u00ED n\u00E1stroje aplikace PAT"@cs . "Verifika\u010Dn\u00ED n\u00E1stroje aplikace PAT" . "1"^^ . "This paper is introducing tools and techniques for verification of complex HW/SW applications with high degree of parallelism. Strength and weakness of each approach is discussed. Example of straightforward LTS verification process is given with help PAT software"@cs . . . . . "[3D4FCF3CA301]" . "This paper is introducing tools and techniques for verification of complex HW/SW applications with high degree of parallelism. Strength and weakness of each approach is discussed. Example of straightforward LTS verification process is given with help PAT software"@en . . . "RIV/49777513:23220/13:43920056" . . . "Verifika\u010Dn\u00ED n\u00E1stroje aplikace PAT"@cs . . . "RIV/49777513:23220/13:43920056!RIV14-MSM-23220___" . "PAT verification tools"@en . . . .