"The main objective of the project is to create a theoretical and methodological base for computer-aided and automatic verification and validation of software systems. The project aims to support the development of methodologies, technologies and tools ofsoftware engineering in automatic and computer-aided verification. The project is to contribute to the research into new technologies for a realistic modelling of software systems, including real-time systems, especially with respect to their safety. Theaim is to design effective implementations of these models as well as efficient verification technologies based on such models. The project will focus on embedded, distributed and parallel systems. Taking into consideration the complexity of verificationprocesses, the aim is to design methodologies that will make the maximum possible use of new information technologies, such as parallel and distributed computing and hierarchical memories."@en . "2008-12-31+01:00"^^ . "verification" . . . . . . " model-checking" . "2009-10-22+02:00"^^ . . "2006-01-01+01:00"^^ . . . " software" . "45"^^ . "GA201/06/1338" . "45"^^ . "The main achievements of the project are in the development of new original methods and techniques for the automated verification of large-scale software systems, with emphasis on practical aspects of their application to real-life systems, in optimizati"@en . . . . "verification; model-checking; software; components"@en . "1"^^ . . "0"^^ . . "Hlavn\u00EDm c\u00EDlem projektu je vytvo\u0159en\u00ED teoreticko-metodologick\u00E9ho z\u00E1zem\u00ED po\u010D\u00EDta\u010Dem podporovan\u00E9 a automatick\u00E9 verifikace softwarov\u00FDch syst\u00E9m\u016F. Projekt si klade za \u00FAkol podpo\u0159it v\u00FDvoj metodologi\u00ED, technologi\u00ED a n\u00E1stroj\u016F softwarov\u00E9ho in\u017Een\u00FDrstv\u00ED v oblasti technik automatick\u00E9 verifikace. Projekt p\u0159isp\u011Bje k v\u00FDzkumu sm\u011B\u0159uj\u00EDc\u00EDmu k rozvoji poznatk\u016F o technologi\u00EDch pro realistick\u00E9 modelov\u00E1n\u00ED softwarov\u00FDch syst\u00E9m\u016F, v\u010Detn\u011B syst\u00E9m\u016F re\u00E1ln\u00E9ho \u010Dasu, specieln\u011B s ohledem na bezpe\u010Dnost jejich provozu. C\u00EDlem je navrhnout efektivn\u00ED implementace t\u011Bchto model\u016F a na nich zalo\u017Een\u00FDch metodologi\u00EDch pro efektivn\u00ED verifikaci. Projekt se zam\u011B\u0159\u00ED na zapouzd\u0159en\u00E9, distribuovan\u00E9 a paraleln\u00ED syst\u00E9my. Vzhledem k v\u00FDpo\u010Detn\u00ED n\u00E1ro\u010Dnosti a rozs\u00E1hlosti procesu verifikace je c\u00EDlem navrhnout metodologie vyu\u017E\u00EDvaj\u00EDc\u00ED v maxim\u00E1ln\u00ED m\u00ED\u0159e i nov\u00E9 mo\u017Enosti v\u00FDpo\u010Detn\u00EDch technologi\u00ED, nap\u0159. ve smyslu paraleln\u00EDho a distribuovan\u00E9ho po\u010D\u00EDtan\u00ED a v hierarchick\u00E9m p\u0159\u00EDstupu k pam\u011Bti." . "0"^^ . "Automated software verification"@en . "2008-04-25+02:00"^^ . "Hlavn\u00ED v\u00FDsledky projektu jsou nov\u00E9 p\u016Fvodn\u00ED metody a techniky pro automatizovanou verifikaci velk\u00FDch softwarov\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 pro jejich pou\u017E\u00ED"@cs . . "Automatizovan\u00E1 verifikace softwaru" . . . . . "http://www.isvav.cz/projectDetail.do?rowId=GA201/06/1338"^^ .