About: Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures

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

About: Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Článek popisuje nový přístup k automatické verifikaci programů manipulujících rozšířené lineární dynamické struktury založené na ukazatelích pomocí automatické detekce vzorů struktur opakujících se v paměti.<br><br> (cs) The paper deals with the problem of automatic verification of programs working with extended linear linked dynamic data structures, in particular, pattern-based verification is considered. In this approach, one can abstract memory configurations by abstracting away the exact number of adjacent occurrences of certain memory patterns. With respect to the previous work on the subject the method presented in the paper has been extended to be able to handle multiple patterns, which allows for verification of programs working with more types of structures and/or with structures with irregular shapes. The experimental results obtained from a prototype implementation of the method show that the method is very competitive and offers a big potential for future extensions. The paper deals with the problem of automatic verification of programs working with extended linear linked dynamic data structures, in particular, pattern-based verification is considered. In this approach, one can abstract memory configurations by abstracting away the exact number of adjacent occurrences of certain memory patterns. With respect to the previous work on the subject the method presented in the paper has been extended to be able to handle multiple patterns, which allows for verification of programs working with more types of structures and/or with structures with irregular shapes. The experimental results obtained from a prototype implementation of the method show that the method is very competitive and offers a big potential for future extensions. (en)
Title	Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures (en) Zobecněná verifikace programů s lineárními zřetězenými datovými strukturami založená na detekci více opakujících se vzorů v paměti (cs)
skos:prefLabel	Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures (en) Zobecněná verifikace programů s lineárními zřetězenými datovými strukturami založená na detekci více opakujících se vzorů v paměti (cs)
skos:notation	RIV/00216305:26230/07:PU70773!RIV08-MSM-26230___
http://linked.open.../vavai/riv/strany	363-374
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/07/0322), P(GD102/05/H050), P(GP102/03/D211), Z(MSM0021630528)
http://linked.open...iv/cisloPeriodika	3
http://linked.open...vai/riv/dodaniDat	2008
http://linked.open...aciTvurceVysledku	Češka, Milan Vojnar, Tomáš Erlebach, Pavel
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	423047
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/07:PU70773
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	formal verification, program analysis, shape analysis, dynamic linked data structures (en)
http://linked.open.../riv/klicoveSlovo	dynamic linked data structures shape analysis program analysis formal verification
http://linked.open...odStatuVydavatele	GB - Spojené království Velké Británie a Severního Irska
http://linked.open...ontrolniKodProRIV	[D954DBD47576]
http://linked.open...i/riv/nazevZdroje	Formal Aspects of Computing
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems Advanced Formal Approaches in the Design and Verification of Computer-Based Systems
http://linked.open...UplatneniVysledku	2007
http://linked.open...v/svazekPeriodika	19
http://linked.open...iv/tvurceVysledku	Vojnar, Tomáš Češka, Milan Erlebach, Pavel
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
issn	0934-5043
number of pages	12 (xsd:int)
http://localhost/t...ganizacniJednotka	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