Publication result detail

Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08

HABERMEHL, P.; VOJNAR, T.

Original Title

Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08

English Title

Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08

Type

Conference proceedings

Original Abstract

The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.

English abstract

The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.

Keywords

workshop, proceedings, verification, infinite-state systems

Key words in English

workshop, proceedings, verification, infinite-state systems

Authors

HABERMEHL, P.; VOJNAR, T.

Released

03.12.2008

Publisher

Faculty of Information Technology BUT

Location

Toronto

ISBN

978-80-214-3697-8

Pages count

74

BibTex

@proceedings{BUT65311,
  editor="Peter {Habermehl} and Tomáš {Vojnar}",
  title="Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08",
  year="2008",
  pages="74",
  publisher="Faculty of Information Technology BUT",
  address="Toronto",
  isbn="978-80-214-3697-8"
}