Publication Details

An Overview of Some Automated Tools for Formal Analysis and Verification

VOJNAR, T. An Overview of Some Automated Tools for Formal Analysis and Verification. Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov: 1998. p. 223-228. ISBN: 80-85988-26-7.
Type
conference paper
Language
English
Authors
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
URL
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
1
Number
Acta MOS
ISBN
80-85988-26-7
Place
Krnov
BibTeX 
@inproceedings{BUT191478,
  author="Tomáš {Vojnar}",
  title="An Overview of Some Automated Tools for Formal Analysis and
 Verification",
  booktitle="Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98",
  year="1998",
  volume="1",
  number="Acta MOS",
  pages="223--228",
  address="Krnov",
  isbn="80-85988-26-7",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz"
}
Back to top