Advertisement

Introduction

  • Javier Esparza
  • Dr. Keijo Heljanko
Chapter
  • 373 Downloads
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)

Keywords

Model Check Transition System Linear Temporal Logic Reachable State Label Transition System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Javier Esparza
    • 1
  • Dr. Keijo Heljanko
    • 2
  1. 1.Chair for Foundations of Software Reliability and Theoretical Computer ScienceTechnische Universität MünchenGermany
  2. 2.Department of Information and Computer ScienceHelsinki University of Technology (TKK)Finland

Personalised recommendations