Detail publikace

Protocol Proving and Model-Checking: A First-Look Experience

MATOUŠEK, P.; RÁB, J.; VÝŠEK, P. Protocol Proving and Model-Checking: A First-Look Experience. IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh: unknown, 2000. p. 71-75. ISBN: 1-85-769121-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Ráb Jaroslav, Ing.
Výšek Pavel, Ing.
URL
Klíčová slova

protocol, verification, model checking, formal methods

Rok
2000
Strany
71–75
Sborník
IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems
Konference
7th IEEE International Conference and Workshop ECBS'2000, Napier University, Edinburgh, Scotland, GB
ISBN
1-85-769121-0
Vydavatel
unknown
Místo
Edinburgh
BibTeX 
@inproceedings{BUT193885,
  author="Petr {Matoušek} and Jaroslav {Ráb} and Pavel {Výšek}",
  title="Protocol Proving and Model-Checking: A First-Look Experience",
  booktitle="IEEE ECBS - Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2000",
  pages="71--75",
  publisher="unknown",
  address="Edinburgh",
  isbn="1-85-769121-0",
  url="http://www.fit.vutbr.cz/~matousp/doc/2000/edin00-slides.ps"
}
Nahoru