Publication Details

Selected Methods of Specification and Verification of Industriall Application

BUREŠ, F. Selected Methods of Specification and Verification of Industriall Application. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 614-618. ISBN: 80-214-2379-X.

Czech title

Vybrané metody specifikace a verifikace průmyslových aplikací

Type

conference paper

Language

English

Authors

Bureš František, Ing.

Keywords

formal methods, model checking, theorem proving

Abstract

This paper presents some formal methods for specification and verification of industrial applications (for example embedded systems) and applying those methods in frame of system design. One goal of this work is founding the major formal methods and representation potential users of such methods.

Published

2003

Pages

614–618

Proceedings

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Conference

Student EEICT 2003, Brno, CZ

ISBN

80-214-2379-X

Publisher

Faculty of Electrical Engineering and Communication BUT

Place

Brno

BibTeX

@inproceedings{BUT13996,
  author="František {Bureš}",
  title="Selected Methods of Specification and Verification of Industriall Application",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  year="2003",
  pages="614--618",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2379-X"
}