Result 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.

Type

conference paper

Language

English

Authors

Bureš František, Ing., FIT (FIT)

Abstract

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

Keywords

formal methods, model checking, theorem proving

Published

2003

Pages

614–618

Proceedings

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Conference

Student EEICT 2003

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"
}

Projects

Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed

Research groups

Supercomputing Technologies Research Group SC@FIT (RG SC@FIT)

Departments

Department of Information Systems (DIFS)