Detail publikace

Counterexample Analysis in Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

HOLÍK Lukáš a ROGALEWICZ Adam. Counterexample Analysis in Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, s. 59-66. ISBN 978-80-7355-077-6.
Název česky
Analýza protipříkladů v abstraktním regulárním model checkingu pro složité dynamické datové struktury
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt

Článek studuje použití abstraktního regulárního model checkingu, uvnitř úspěšné metody pro verifikace programů se složitými datovými strukturami, a to zejména analýza protipříkladů.

Rok
2007
Strany
59-66
Sborník
Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)
Konference
MEMICS'07 -- 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-80-7355-077-6
Vydavatel
Ing. Zdeněk Novotný, CSc.
Místo
Znojmo, CZ
BibTeX
@INPROCEEDINGS{FITPUB8521,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Adam Rogalewicz",
   title = "Counterexample Analysis in Abstract Regular Tree Model Checking of Complex Dynamic Data Structures",
   pages = "59--66",
   booktitle = "Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007)",
   year = 2007,
   location = "Znojmo, CZ",
   publisher = "Ing. Zden\v{e}k Novotn\'{y}, CSc.",
   ISBN = "978-80-7355-077-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8521"
}
Nahoru