About: Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness

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

About: Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness 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	Automatizovaná verifikace programů je v současnosti s ohledem na rostoucí dopad počítačem řízených systémů na naše životy a výraznou potřebu minimalizovat počet chyb v těchto systémech velmi aktuálním výzkumným tématem. Projekt se konkrétně zaměřuje na verifikaci programů s pokročilými rysy paralelismu a neomezenosti, které patří k obzvláště problematickým aspektům software, se kterými se musí automatická verifikace vyrovnávat. V prvním případě se projekt soustřeďuje zejména na metody verifikace programů určených pro moderní vícejádrové procesory. V druhém případě se jedná o verifikaci programů pracujících s různými neomezenými datovými strukturami, zejména pak poli (o parametrické velikosti) a složitými dynamickými strukturami založenými na ukazatelích (jako jsou seznamy či stromy). Projekt zahrnuje výzkum metod dynamické i statické verifikace, včetně model checkingu, a také jejích vhodných kombinací. Pro práci s programy s nekonečnými stavovými prostory se výzkum v projektu zaměřuje na metody efektivní symbolické verifikace založené na použití automatů a logik. (cs) Automated verification of programs is currently a very hot issue due to the rising influence of computer-controlled systems on our lives and the recognised need to minimise the number of errors in them. The project, in particular, considers verification of programs with advanced features of concurrency and unboundedness, which both belong among especially problematic features to be dealt with in automated verification. In the former case, the project pays a special attention to verification of applications intended to run on the current multi-core processors. In the latter case, verification of programs manipulating different unbounded structures, notably (parameterised-size) arrays and complex dynamic linked data structures (such as lists or trees), is considered. The project contains research on methods of dynamic as well as static verification, including model checking, and possibly their suitable combinations. For handling infinite-state programs, efficient symbolic verification methods based on automata and logics are the primary target of the research in the project. (en)
Title	Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (en) Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (cs)
http://linked.open...vai/cislo-smlouvy	http://linked.opendata.cz/resource/domain/vavai/cep/smlouva/P103/10/0306
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/54233844
http://linked.open...vavai/hlavni-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/JC
http://linked.open...vai/vedlejsi-obor	http://linked.opendata.cz/resource/domain/vavai/cep/obor/IN
http://linked.open...i/hlavni-ucastnik	Vysoké učení technické v Brně
http://linked.open...vavai/id-aktivity	http://linked.opendata.cz/resource/domain/vavai/cep/aktivita/GA
http://linked.open.../vavai/id-souteze	http://linked.opendata.cz/resource/domain/vavai/cep/soutez/SGA02010GA-ST
http://linked.open...n/vavai/kategorie	http://linked.opendata.cz/resource/domain/vavai/cep/kategorie/1
http://linked.open...vai/klicova-slova	verification engineering; automated verification of programs; static and dynamic analysis; formal verif (en)
http://linked.open...avai/konec-reseni	2013-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	2010-01-01 (xsd:date)
http://linked.open...ai/statni-podpora	4752 (xsd:integer)
http://linked.open...vavai/typProjektu	http://linked.opendata.cz/resource/domain/vavai/cep/typ/P
http://linked.open...ai/uznane-naklady	4752 (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	50 (xsd:integer)
http://linked.open...ku-zverejnovanych	50 (xsd:integer)
is http://linked.open...ain/vavai/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2010/GAP103/10/0306/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2011/GAP103/10/0306/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2012/GAP103/10/0306/orjk-26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/2013/GAP103/10/0306/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