"http://www.isvav.cz/projectDetail.do?rowId=1ET400300504"^^ . "74"^^ . . "74"^^ . " behavior description" . . "Projekt podporuje vyu\u017Eit\u00ED komponent jako s\u00EDl\u00EDc\u00ED trend ve v\u00FDvoji aplikac\u00ED, a to kombinov\u00E1n\u00EDm komponent s form\u00E1ln\u00EDm popisem chov\u00E1n\u00ED a n\u00E1vrhem n\u00E1stroj\u016F schopn\u00FDch prov\u00E9st automaticky kontrolu architektury aplikac\u00ED slo\u017Een\u00FDch z komponent s form\u00E1ln\u00EDm popisem chov\u00E1n\u00ED. Projekt si klade za c\u00EDl navrhnout a realizovat platformu pro podporu form\u00E1ln\u00ED verifikace vlastnost\u00ED komponentov\u00FDch aplikac\u00ED na \u00FArovni funk\u010Dn\u00EDho prototypu a s pou\u017Eit\u00EDm t\u00E9to platformy navrhnout metody pro verifikaci softwarov\u00FDch komponent a komponentov\u00FDch aplikac\u00ED a ov\u011B\u0159it uplatn\u011Bn\u00ED t\u011Bchto metod. Vytvo\u0159en\u00E1 platforma bude otev\u0159en\u00E1 vznikaj\u00EDc\u00EDm metod\u00E1m pro form\u00E1ln\u00ED verifikaci a anal\u00FDzu k\u00F3du a pou\u017Eita pro ov\u011B\u0159ov\u00E1n\u00ED vhodnosti a pou\u017Eitelnosti t\u011Bchto metod, zejm\u00E9na technice model checking. Pr\u00E1ce na metod\u00E1ch form\u00E1ln\u00ED verifikace se budou soust\u0159edit na identifikaci postup\u016F, kter\u00E9 umo\u017En\u00ED v\u00FDrazn\u00E9 zefektivn\u011Bn\u00ED st\u00E1vaj\u00EDc\u00EDch n\u00E1stroj\u016F pro automatickou verifikaci, zejm\u00E9na v distribuovan\u00E9m prost\u0159ed\u00ED." . "0"^^ . " software components" . "3"^^ . "formal verification" . . . "1"^^ . "The project has proposed, implemented as a prototype, and on case studies tested multiple new methods of formal verification of component systems (both model and implementation), based on the formalisms of interacting automata and behavior protocols."@en . "Realistic application of formal methods in component systems"@en . . "Projekt navrhl, prototypov\u011B implementoval a na p\u0159\u00EDpadov\u00FDch studi\u00EDch ov\u011B\u0159il nov\u00E9 metody form\u00E1ln\u00ED verifikace vlastnost\u00ED model\u016F a implementace komponentov\u00FDch syst\u00E9m\u016F zalo\u017Een\u00E9 na formalismech interaguj\u00EDc\u00EDch automat\u016F a roz\u0161\u00ED\u0159en\u00FDch protokol\u016F chov\u00E1n\u00ED."@cs . "formal verification; behavior description; software components; component systems"@en . . "2009-12-31+01:00"^^ . "Realistick\u00E1 aplikace form\u00E1ln\u00EDch metod v komponentov\u00FDch syst\u00E9mech" . . . "2005-01-01+01:00"^^ . . "The project supports component-based application development by combining components with formal behavior description and by designing tools for automated checking of the architecture of applications composed of components with formal behavior description. The project aims to design and implement a functional prototype of a platform for formal verification of component application properties, and to propose and test methods for verification of software components and component applications using this platform. The platform will be open to the emerging methods of formal verification and code analysis, and used to test the suitability and applicability of these methods, especially with respect to model checking. The work on the formal verification methods will focus on identifying approaches to make the existing verification tools more efficient, especially in a distributed environment."@en . . "2009-03-11+01:00"^^ . "2010-04-15+02:00"^^ . . . "1ET400300504" . . . . . . . .