Detail publikace

Formal specification and verification of already composed systems

Originální název

Formal specification and verification of already composed systems

Anglický název

Formal specification and verification of already composed systems

Jazyk

en

Originální abstrakt

We already know many methods for formal specification of systems. But we are not able to proof already composed systems and find errors in them. This paper is an approach to this methodology.

Anglický abstrakt

We already know many methods for formal specification of systems. But we are not able to proof already composed systems and find errors in them. This paper is an approach to this methodology.

BibTex


@inproceedings{BUT10018,
  author="František {Ščuglík}",
  title="Formal specification and verification of already composed systems",
  annote="We already know many methods for formal specification of systems. But we are not able to proof already composed systems and find errors in them. This paper is an approach to this methodology.",
  address="Faculty of Electrical Engineering and Communication BUT",
  booktitle="Proceedings of 8th Conference STUDENT EEICT 2002",
  chapter="10018",
  institution="Faculty of Electrical Engineering and Communication BUT",
  year="2002",
  month="april",
  pages="511--515",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  type="conference paper"
}