. . "Software se nyn\u00ED pou\u017E\u00EDv\u00E1 v kritick\u00FDch syst\u00E9mech, kde v\u00FDskyt chyb za b\u011Bhu programu m\u016F\u017Ee m\u00EDt velmi negativn\u00ED d\u016Fsledky. Verifikace program\u016F je jeden z p\u0159\u00EDstup\u016F pro detekci mo\u017En\u00FDch chyb. P\u0159es zna\u010Dn\u00FD pokrok dosa\u017Een\u00FD v posledn\u00ED dob\u011B maj\u00ED metody verifikace st\u00E1le z\u00E1sadn\u00ED omezen\u00ED. C\u00EDlem projektu je zlep\u0161it \u0161k\u00E1lovatelnost a v\u00FDkon verifikace program\u016F v kontextu n\u00E1stroje Java Pathfinder. Navrhneme hybridn\u00ED anal\u00FDzy zalo\u017Een\u00E9 na kombinac\u00EDch statick\u00E9 a dynamick\u00E9 anal\u00FDzy, a pou\u017Eijeme je na optimalizaci n\u00E1stroje Java Pathfinder. V\u0161echny techniky budou otestov\u00E1ny na v\u00EDce-vl\u00E1knov\u00FDch programech v jazyce Java ze zn\u00E1m\u00FDch sad." . . . "http://www.isvav.cz/projectDetail.do?rowId=GP13-12121P"^^ . " static analysis" . . "GP13-12121P" . " dynamic analysis" . . . . "0"^^ . . . "0"^^ . "2"^^ . "2"^^ . "program verification" . . "1"^^ . . "2015-02-09+01:00"^^ . "2013-02-01+01:00"^^ . . . . "program verification, static analysis, dynamic analysis, Java Pathfinder"@en . "2015-12-31+01:00"^^ . . . . "Software is now used in critical systems, where errors occurring at runtime may have negative consequences. Program verification is one approach to detection of possible errors. Although great advances have been made in recent years, the state-of-the-art verification techniques still have important limitations. The goal of this project is to improve scalability and performance of program verification in the context of the Java Pathfinder framework. We will design hybrid analyses based on specific combinations of static and dynamic analysis, and use them to optimize Java Pathfinder. All the proposed techniques will be evaluated on multi-threaded Java programs from well-known benchmark suites."@en . "Praktick\u00E1 verifikace program\u016F s pou\u017Eit\u00EDm kombinace statick\u00E9 a dynamick\u00E9 anal\u00FDzy" . "Practical Program Verification Using Combination of Static and Dynamic Analysis"@en . "2014-04-07+02:00"^^ .