Detail publikace

Automated formal analysis and verification: an overview

VOJNAR, T. KŘENA, B.

Originální název

Automated formal analysis and verification: an overview

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

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.

Klíčová slova

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

Autoři

VOJNAR, T.; KŘENA, B.

Rok RIV

2013

Vydáno

11. 1. 2013

ISSN

0308-1079

Periodikum

INTERNATIONAL JOURNAL OF GENERAL SYSTEMS

Ročník

2013

Číslo

42

Stát

Spojené království Velké Británie a Severního Irska

Strany od

335

Strany do

365

Strany počet

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