Detail publikace

Automated formal analysis and verification: an overview

VOJNAR, T.; KŘENA, B. Automated formal analysis and verification: an overview. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013, vol. 2013, no. 42, p. 335-365. ISSN: 0308-1079.
Název česky
Automatizovaná formální analýza a verifikace: přehled
Typ
článek v časopise
Jazyk
anglicky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
URL
Klíčová slova

formal analysis and verification; model checking; state space explosion; theorem proving; static analysis

Abstrakt

Tento přehledový článek se zabývá různými přístupy k automatizované formální analýze a verifikaci. Největší prostor je věnován tzv. model checkingu, zejména jeho principům a rozmanitým technikám pro omezení problému stavové exploze. Stručněji je pak zmíněna statická analýza a tzv. theorem proving. Většina přístupů je v článku popsána neformálně s cílem vysvětlit čtenáři základní myšlenky a poskytnout mu odkazy na literaturu, kde může najít další podrobnosti.

Rok
2013
Strany
335–365
Časopis
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, roč. 2013, č. 42, ISSN 0308-1079
DOI
10.1080/03081079.2012.757437
BibTeX 
@article{BUT103472,
  author="Tomáš {Vojnar} and Bohuslav {Křena}",
  title="Automated formal analysis and verification: an overview",
  journal="INTERNATIONAL JOURNAL OF GENERAL SYSTEMS",
  year="2013",
  volume="2013",
  number="42",
  pages="335--365",
  doi="10.1080/03081079.2012.757437",
  issn="0308-1079",
  url="http://www.tandfonline.com/eprint/jVBdnCqNINZHmymMCrpj/full"
}
Nahoru