Attributes | Values |
---|
rdf:type
| |
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
| |
http://linked.open...avai/riv/aktivita
| |
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
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/07:PU70773
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - formal verification, program analysis, shape analysis, dynamic linked data structures (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| - GB - Spojené království Velké Británie a Severního Irska
|
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| - Formal Aspects of Computing
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| - Vojnar, Tomáš
- Češka, Milan
- Erlebach, Pavel
|
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |