. "GP201/09/P531" . "0"^^ . . "The project gone according to plan both in terms of expertise and in terms of disbursement of funds."@en . "Developement of methods for automatic verification of programs with dynamic data structures"@en . "http://www.isvav.cz/projectDetail.do?rowId=GP201/09/P531"^^ . . "form\u00E1ln\u00ED verifikace; model checking; nekone\u010Dn\u011B stavov\u00E9 syst\u00E9my; dynamick\u00E9 datov\u00E9 struktury"@en . . "9"^^ . "9"^^ . . "2011-04-16+02:00"^^ . "C\u00EDlem projektu je rozvoj metod pro automatickou verifikaci program\u016F s nekone\u010Dn\u011B stavov\u00FDmi prostory se zam\u011B\u0159en\u00EDm na programy s dynamick\u00FDmi datov\u00FDmi strukturami." . "\u0158e\u0161en\u00ED projektu prob\u011Bhlo podle pl\u00E1nu jak z hlediska odborn\u00E9ho tak i z hlediska \u010Derp\u00E1n\u00ED finan\u010Dn\u00EDch prost\u0159edk\u016F."@cs . . . . . "2015-03-02+01:00"^^ . . "2011-12-31+01:00"^^ . . . . "2009-01-01+01:00"^^ . "Use of the dynamic data structures is a common technique used in all bigger software systems. On the other hand, searching for errors in such systems is very complicated thanks to the fact that the data structure itself is hidden behind the tricky pointer manipulations. Hence the automated methods for such programs are greatly welcome. The whole verification problem is much more complicated in the case, where several concurrent processes use a shared memory. Bad interference of one of these processes into a dynamic data structure inside the shared memory can interferes the other processes. Another complication for the verification is recursive functions calls. Despite of the huge progress in this area, a reliable verification tool for common use is still far away. Therefore the goal of the proposed basic research project is development of methods for this class of programs."@en . . . . "Rozvoj technik pro automatick\u00E9 verifikace program\u016F s dynamick\u00FDmi datov\u00FDmi strukturami" . . " nekone\u010Dn\u011B stavov\u00E9 syst\u00E9my" . "0"^^ . " model checking" . "form\u00E1ln\u00ED verifikace" . . "1"^^ .