Detail publikace

Automated formal analysis and verification: an overview

Originální název

Automated formal analysis and verification: an overview

Anglický název

Automated formal analysis and verification: an overview

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

BibTex


@article{BUT103472,
  author="Tomáš {Vojnar} and Bohuslav {Křena}",
  title="Automated formal analysis and verification: an overview",
  annote="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.",
  address="NEUVEDEN",
  chapter="103472",
  doi="10.1080/03081079.2012.757437",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  number="42",
  volume="2013",
  year="2013",
  month="january",
  pages="335--365",
  publisher="NEUVEDEN",
  type="journal article - other"
}