Result 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: Marq software s.r.o., 1998. no. Acta MOS, p. 223-228. ISBN: 80-85988-26-7.
Type
conference paper
Language
English
Authors
Vojnar Tomáš, prof. Ing., Ph.D.
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
Publisher
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Krnov",
  isbn="80-85988-26-7",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz"
}
Projects
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research and Applications of Heterogenous Models, GACR, Standardní projekty, GA102/98/0552, start: 1998-01-01, end: 2000-12-31, completed
Research groups
Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top