Faculty of Information Technology, BUT

Publication Details

Automated formal analysis and verification: an overview

KŘENA Bohuslav and VOJNAR Tomáš. Automated formal analysis and verification: an overview. International Journal of General Systems, vol. 2013, no. 42, pp. 335-365. ISSN 0308-1079. Available from: http://www.tandfonline.com/eprint/jVBdnCqNINZHmymMCrpj/full
Czech title
Automatizovaná formální analýza a verifikace: přehled
Type
journal article
Language
english
Authors
URL
Keywords
formal analysis and verification; model checking; state space explosion; theorem proving; static analysis
Abstract
This paper provides an overview of various existing approaches to automated formal analysis and verification. The most space is devoted to the approach of model checking, including its basic principles as well as the different techniques that have been proposed for dealing with the state space explosion problem in model checking. This paper, however, includes a brief discussion of theorem proving and static analysis too. All of the discussed approaches are introduced mostly on an informal level, with an attempt to provide the reader with their basic ideas and references to works where more details can be found.
Published
2013
Pages
335-365
Journal
International Journal of General Systems, vol. 2013, no. 42, ISSN 0308-1079
Publisher
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"
}
Back to top