. "Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems"@en . . "18"^^ . . . "http://www.isvav.cz/projectDetail.do?rowId=GP102/03/D211"^^ . "18"^^ . "2007-10-16+02:00"^^ . . . . . . "GP102/03/D211" . "C\u00EDlem projektu bylo p\u0159isp\u011Bt k rozvoji automatizovan\u00E9 form\u00E1ln\u00ED verifikace zdokonalen\u00EDm st\u00E1vaj\u00EDc\u00EDch a n\u00E1vrhem nov\u00FDch metod model checkingu parametrick\u00FDch a nekone\u010Dn\u011B stavov\u00FDch syst\u00E9m\u016F. Mezi takov\u00E9 syst\u00E9my pat\u0159\u00ED mj. syst\u00E9my s parametrick\u00FDm po\u010Dtem proces\u016F a"@cs . . . . "A constant growth in the complexity of computerized systems together with increasing demands on their reliability have currently lead to a strong interest in development of automated methods and tools for rigorous verification of correctness of such systems. Systems that attract a special attention include protocols of computer and telecommunication networks, concurrent software of control and operating systems, hardware communication protocols, etc. While many relatively efficient verification methods have been proposed for the case the considered systems have a finite state space, automatic verification of infinite-state and parametric systems is significantly less developed. Many practically important systems of this kind are not covered by any automatic verification methods, or the available methods are not very efficient. Based on experience of the applicant with current capabilities and restrictions of such methods, the proposed project aims at their further development towards higher"@en . . "Neust\u00E1l\u00FD r\u016Fst slo\u017Eitosti po\u010D\u00EDta\u010Dov\u00FDch syst\u00E9m\u016F spolu s r\u016Fstem n\u00E1rok\u016F na jejich spolehlivost jsou p\u0159\u00ED\u010Dinou, pro\u010D je v sou\u010Dasnosti v\u011Bnov\u00E1na zna\u010Dn\u00E1 pozornost v\u00FDvoji automatizovan\u00FDch metod a n\u00E1stroj\u016F pro rigor\u00F3zn\u00ED verifikaci jejich korektnosti. Mezi syst\u00E9my, jim\u017E je v\u011Bnov\u00E1na zvl\u00E1\u0161tn\u00ED pozornost, pat\u0159\u00ED protokoly po\u010D\u00EDta\u010Dov\u00FDch a telekomunika\u010Dn\u00EDch s\u00EDt\u00ED, paraleln\u00ED software \u0159\u00EDdic\u00EDch a opera\u010Dn\u00EDch syst\u00E9m\u016F, hardwarov\u00E9 komunika\u010Dn\u00ED protokoly apod. Zat\u00EDmco pro p\u0159\u00EDpad, \u017Ee uva\u017Eovan\u00E9 syst\u00E9my maj\u00ED kone\u010Dn\u00FD stavov\u00FD prostor, ji\u017E byla vyvinuta \u0159ada pom\u011Brn\u011B efektivn\u00EDch verifika\u010Dn\u00EDch metod, automatick\u00E1 verifikace nekone\u010Dn\u011B stavov\u00FDch a parametrick\u00FDch syst\u00E9m\u016F je mnohem m\u00E9n\u011B rozpracovan\u00E1. \u0158ada typ\u016F t\u011Bchto syst\u00E9m\u016F v\u00FDznamn\u00FDch pro praxi nen\u00ED pokryta \u017E\u00E1dn\u00FDmi verifika\u010Dn\u00EDmi metodami, p\u0159\u00EDpadn\u011B metody, kter\u00E9 jsou dostupn\u00E9, nejsou p\u0159\u00EDli\u0161 efektivn\u00ED. Na z\u00E1klad\u011B zku\u0161enost\u00ED navrhovatele se sou\u010Dasn\u00FDmi mo\u017Enostmi a omezen\u00EDmi t\u011Bchto metod p\u0159edkl\u00E1dan\u00FD projekt usiluje o jejich rozvoj sm\u011Brem k vy\u0161\u0161\u00ED efektivit\u011B a \u0161ir\u0161\u00ED aplikovatelnosti. D\u016Fraz bude" . . "Neuvedeno."@en . "0"^^ . "1"^^ . "The goal of the project was to contribute to the further development of automated formal verification by improving the existing and proposing new methods for model checking parametric and infinite-state systems (including, e.g., systems with a parametric"@en . "Pokro\u010Dil\u00E9 metody automatick\u00E9 verifikace parametrick\u00FDch a nekone\u010Dn\u011B stavov\u00FDch syst\u00E9m\u016F" . . . . . . "0"^^ .