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" }