Conference paper

 
Vojnar, T.: 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, CZ, MARQ, 1998, p. 223-228, ISBN 80-85988-26-7
Publication language:english
Original title:An Overview of Some Automated Tools for Formal Analysis and Verification
Pages:223-228
Proceedings:Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98
Place:Krnov, CZ
Year:1998
ISBN:80-85988-26-7
Publisher:
URL:http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz [PS]
Abstract
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.
BibTeX:
@INPROCEEDINGS{
   author = {Tomáš 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},
   publisher = {},
   ISBN = {80-85988-26-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6561}
}