Publication Details

An Overview of Some Automated Tools for Formal Analysis and Verification

VOJNAR Tomáš. An Overview of Some Automated Tools for Formal Analysis and Verification. In: Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov, 1998, pp. 223-228. ISBN 80-85988-26-7.

Type

conference paper

Language

english

Authors

Vojnar Tomáš, Ing., Ph.D. (DCSE FEECS BUT)

URL

http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz PS

Annotation

The article presents several automated tools for performing formal analysis and verification. The choice of the tools is restricted to the ones working on concurrent untimed discrete-event systems and exploiting state space searching.

Published

1998

Pages

223-228

Proceedings

Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98

Volume

Number

ISBN

80-85988-26-7

Place

Krnov, CZ

BibTeX

@INPROCEEDINGS{FITPUB6561,
   author = "Tom\'{a}\v{s} Vojnar",
   title = "An Overview of Some Automated Tools for Formal Analysis and
 Verification",
   pages = "223--228",
   booktitle = "Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98",
   volume = 1,
   number = "Acta MOS",
   year = 1998,
   location = "Krnov, CZ",
   ISBN = "80-85988-26-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6561"
}