Detail publikace

Automated formal analysis and verification: an overview

KŘENA Bohuslav a VOJNAR Tomáš. Automated formal analysis and verification: an overview. International Journal of General Systems, roč. 2013, č. 42, s. 335-365. ISSN 0308-1079. Dostupné z: http://www.tandfonline.com/eprint/jVBdnCqNINZHmymMCrpj/full
Název česky
Automatizovaná formální analýza a verifikace: přehled
Typ
článek v časopise
Jazyk
angličtina
Autoři
URL
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
Vydavatel
Taylor & Francis Informa plc
DOI
BibTeX
@ARTICLE{FITPUB10284,
   author = "Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar",
   title = "Automated formal analysis and verification: an overview",
   pages = "335--365",
   journal = "International Journal of General Systems",
   volume = 2013,
   number = 42,
   year = 2013,
   ISSN = "0308-1079",
   doi = "10.1080/03081079.2012.757437",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10284"
}
Nahoru