Detail výsledku

Towards Applying Mona in Abstract Regular Tree Model Checking

ROGALEWICZ, A. Towards Applying Mona in Abstract Regular Tree Model Checking. Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Faculty of Information Technology BUT, 2005. p. 663-667. ISBN: 80-214-2890-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D., UITS (FIT)
Abstrakt

We consider the problem of automated formal verification of
modern concurrent software systems. Dealing with such systems, which involves
handling unbounded dynamic instantiation, recursion, etc., naturally leads to a
need of dealing with infinite state spaces. We suppose states of such systems
to be encoded terms with a tree structure and we would like to
use the abstract regular tree model checking method for dealing with infinite sets of states.
This paper presents an ongoing research on application of abstract regular model checking in
the infinite state systems verification, and possibility to use the Mona GTA library for experiments.

Klíčová slova

formal verification, regular tree model checking, automated abstraction

Rok
2005
Strany
663–667
Sborník
Proceedings of the 11th Conference Student EEICT 2005
Řada
Volume 3
Konference
STUDENT EEICT 2005
ISBN
80-214-2890-2
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@inproceedings{BUT21502,
  author="Adam {Rogalewicz}",
  title="Towards Applying Mona in Abstract Regular Tree Model Checking",
  booktitle="Proceedings of the 11th Conference Student EEICT 2005",
  year="2005",
  series="Volume 3",
  pages="663--667",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="80-214-2890-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
Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GAČR, Postdoktorandské granty, GP102/03/D211, zahájení: 2003-09-01, ukončení: 2006-09-01, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru