Detail výsledku

Pattern-Based Verification for Trees

ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T. Pattern-Based Verification for Trees. Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2007. p. 181-182. ISBN: 978-3-540-75866-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Erlebach Pavel, Ing., Ph.D., FIT (FIT), UITS (FIT)
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

The paper presents an extension of pattern-based verification of programs with dynamic data structues from linear to tree structures.

Klíčová slova

Pattern-Based Verification, Trees, Formal verification

Rok
2007
Strany
181–182
Sborník
Computer Aided Systems Theory - EUROCAST 2007
Konference
11th International Conference on Computer Aided Systems Theory and Technology, EUROCAST 2007
ISBN
978-3-540-75866-2
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Grand Canaria
BibTeX 
@inproceedings{BUT28583,
  author="Pavel {Erlebach} and Milan {Češka} and Tomáš {Vojnar}",
  title="Pattern-Based Verification for Trees",
  booktitle="Computer Aided Systems Theory - EUROCAST 2007",
  year="2007",
  pages="181--182",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Grand Canaria",
  isbn="978-3-540-75866-2"
}
Projekty
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru