Publication result detail

Automated formal analysis and verification: an overview

VOJNAR, T.; KŘENA, B.

Original Title

Automated formal analysis and verification: an overview

English Title

Automated formal analysis and verification: an overview

Type

Peer-reviewed article not indexed in WoS or Scopus

Original 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.

English 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.

Keywords

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

Key words in English

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

Authors

VOJNAR, T.; KŘENA, B.

RIV year

2014

Released

11.01.2013

ISBN

0308-1079

Periodical

INTERNATIONAL JOURNAL OF GENERAL SYSTEMS

Volume

2013

Number

42

State

United Kingdom of Great Britain and Northern Ireland

Pages from

335

Pages to

365

Pages count

31

URL

http://www.tandfonline.com/eprint/jVBdnCqNINZHmymMCrpj/full

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