About: Developement of methods for automatic verification of programs with dynamic data structures

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Developement of methods for automatic verification of programs with dynamic data structures Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
Description	Cílem projektu je rozvoj metod pro automatickou verifikaci programů s nekonečně stavovými prostory se zaměřením na programy s dynamickými datovými strukturami. (cs) 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)
Title	Developement of methods for automatic verification of programs with dynamic data structures (en) Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami (cs)
http://linked.open...vai/cislo-smlouvy	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/201/09/P531
http://linked.open...avai/druh-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/druh-souteze/VS
http://linked.open...domain/vavai/faze	http://linked.opendata.cz/resource/domain/vavai/cep/faze/52807641
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/JC
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/GP
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SGA02009GA1PD
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	formální verifikace; model checking; nekonečně stavové systémy; dynamické datové struktury (en)
http://linked.open...avai/konec-reseni	2011-12-31 (xsd:date)
http://linked.open...nujicich-prijemcu	0 (xsd:integer)
http://linked.open...avai/poskytovatel	http://linked.opendata.cz/resource/domain/vavai/cep/poskytovatel/GA0
http://linked.open...avai/start-reseni	2009-01-01 (xsd:date)
http://linked.open...ai/statni-podpora	708 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	708 (xsd:integer)
http://linked.open...ai/pocet-prijemcu	1 (xsd:integer)
http://linked.open...cet-spoluprijemcu	0 (xsd:integer)
http://linked.open...ai/pocet-vysledku	9 (xsd:integer)
http://linked.open...ku-zverejnovanych	9 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2009/GP201/09/P531/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2010/GP201/09/P531/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2011/GP201/09/P531/orjk-26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software