"1"^^ . . . . . . "0"^^ . . . . "Neuvedeno."@en . . . . . . . . "http://www.isvav.cz/projectDetail.do?rowId=GA201/03/0509"^^ . "49"^^ . "Projekt je zam\u011B\u0159en na anal\u00FDzu a v\u00FDvoj nov\u00FDch metod pro efektivn\u00ED verifikaci soub\u011B\u017En\u00FDch syst\u00E9m\u016F. Hlavn\u00ED c\u00EDle a v\u00FDzkumn\u00E9 priority lze shrnout takto: 1. Experiment\u00E1ln\u00ED prost\u0159ed\u00ED pro vyhodnocov\u00E1n\u00ED verifika\u010Dn\u00EDch algoritm\u016F. Zejm\u00E9na se jedn\u00E1 o v\u00FDvoj n\u00E1stroj\u016Fpro snadn\u011Bj\u0161\u00ED implementaci nov\u00FDch a modifikovan\u00FDch algoritm\u016F (nap\u0159. v distribuovan\u00E9m prost\u0159ed\u00ED), pro integraci algoritm\u016F a srovn\u00E1n\u00ED jejich praktick\u00E9 \u00FA\u010Dinnosti. 2. Form\u00E1ln\u00ED metody pro v\u00FDpo\u010Detn\u011B t\u011B\u017Ek\u00E9 verifika\u010Dn\u00ED probl\u00E9my. Zejm\u00E9na se jedn\u00E1 o v\u00FDzkumomezen\u00FDch modelovac\u00EDch jazyk\u016F z\u00A0hlediska jejich vyjad\u0159ovac\u00ED s\u00EDly, kter\u00E9 by v\u0161ak vedly k v\u00FDpo\u010Detn\u011B efektivn\u011Bj\u0161\u00EDm verifika\u010Dn\u00EDm algoritm\u016Fm (nap\u0159. 1-safe Petri Nets, minimalizovan\u00E9 nedeterministick\u00E9 kone\u010Dn\u00E9 automaty). 3. Anal\u00FDza a v\u00FDvoj nov\u00FDch metod proexplictn\u00ED a symbolickou verifikaci. 4. Dekompozice a paralelizace vybran\u00FDch verifika\u010Dn\u00EDch probl\u00E9m\u016F." . . "The main achievements of the project are in the development of new original\u00A0 methods and techniques for the automated verification of large-scale parallel\u00A0 and distributed systems, with emphasis on practical aspects of their\u00A0 application to real-life sys"@en . "49"^^ . "2009-01-15+01:00"^^ . "Automatizovan\u00E1 verifikace paraleln\u00EDch a distribuovan\u00FDch syst\u00E9m\u016F" . . . . "Hlavn\u00ED v\u00FDsledky projektu jsou nov\u00E9 p\u016Fvodn\u00ED metody a techniky pro automatizovanou verifikaci velk\u00FDch paraleln\u00EDch a distribuovan\u00FDch syst\u00E9m\u016F, s d\u016Frazem na prakti\u010Dnost jejich aplikace na realistick\u00E9 syst\u00E9my, jejich optimalizace a vytvo\u0159en\u00ED softwarov\u00E9 podpory"@cs . "GA201/03/0509" . "0"^^ . . "Automated Verification of Parallel and Distributed Systems"@en . "The proposed project aims at development and analyzis of new original methods for effective verification of cocnurrent systems. Main targets of the project can be summarized as follows: 1. Experimental environment for evaluation of verificationalgorithms. In particular, tools for rapid implementation of new or modified algorithms (e.g. in a distributed environment), their integration, and comparison of their computational tractability will be developed. 2. Formal methods for computationallyhard verification problems. In particular, expressivelly restricted model languages which allow for more effective verification algorithms will be investigated (e.g. 1-safe Petri Nets, minimized non-deterministic finite automata). 3. Analyzis anddevelopment of new methods for explicit and symbolic verification. 4. Decomposition and parallelization of selected verification problems."@en .