Result Details
Automatická verifikace programů s dynamickými datovými strukturami
VOJNAR, T.; ČEŠKA, M.; ROGALEWICZ, A.; ERLEBACH, P.; HOLÍK, L.; BOUAJJANI, A.; HABERMEHL, P.; TOUILI, T.; MORO, P. Automatická verifikace programů s dynamickými datovými strukturami. Inovační podnikání & transfer technologií, 2008, roč. 2008, č. 1, s. 21-22. ISSN: 1210-4612.
English title
Automatic Verification of Progams with Dynamic Data Structures
Type
journal article
Language
Czech
Authors
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Rogalewicz Adam, doc. Mgr., Ph.D.
Erlebach Pavel, Ing., Ph.D., DITS (FIT)
Holík Lukáš, doc. Mgr., Ph.D., DITS (FIT)
Bouajjani Ahmed
Habermehl Peter
Touili Tayssir, Dr., Ph.D.
Moro Pierre
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Rogalewicz Adam, doc. Mgr., Ph.D.
Erlebach Pavel, Ing., Ph.D., DITS (FIT)
Holík Lukáš, doc. Mgr., Ph.D., DITS (FIT)
Bouajjani Ahmed
Habermehl Peter
Touili Tayssir, Dr., Ph.D.
Moro Pierre
Abstract
Článek představuje základní téma, koncepci a výsledky úspěšnémezinárodní výzkumné skupiny zabývající se verifikací programů sdynamickými datovými strukturami.
English abstract
The paper introduces the basic topic, conception and results of asuccessful international research group addressing verification ofprograms with dynamic data structures.
Keywords
formální verifikace, model checking, programy s dynamickými datovýmistrukturami, konečné automaty, verifikace založená na vyhledávánívzorů, verifikce konečnosti
English keywords
Formal Verification, Model Checking, Programs with Dynamic DataStructures, Finite Automata, ARTMC, Pattern-Based Verification,Termination Checking
URL
Published
2008
Pages
21–22
Journal
Inovační podnikání & transfer technologií, vol. 2008, no. 1, ISSN 1210-4612
BibTeX
@article{BUT48141,
author="Tomáš {Vojnar} and Milan {Češka} and Adam {Rogalewicz} and Pavel {Erlebach} and Lukáš {Holík} and Ahmed {Bouajjani} and Peter {Habermehl} and Tayssir {Touili} and Pierre {Moro}",
title="Automatická verifikace programů s dynamickými datovými strukturami",
journal="Inovační podnikání & transfer technologií",
year="2008",
volume="2008",
number="1",
pages="21--22",
issn="1210-4612",
url="http://www.aipcr.cz/doc/IPTT.pdf"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments