default search action
7th FMICS 2002: Málaga, Spain
- Rance Cleaveland, Hubert Garavel:
7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(2), Elsevier 2002 - Mustapha Bourahla, Mohamed Benmohamed:
Predicate Abstraction and Refinement for Model Checking VHDL State Machines. 1-16 - María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
, Ernesto Pimentel
A Tool for Abstraction in Model Checking. 17-32 - David Lugato, Céline Bigot, Yannick Valot:
Validation and automatic test generation on UML models: the AGATHA approach. 33-49 - Juan C. Burguillo-Rial, Martín Llamas Nistal
Heuristic-driven Techniques for Test Case Selection. 50-65 - Tiziana Margaria
Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination. 66-83 - Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge:
A methodological process for the design of a large system: two industrial case-studies. 84-103 - Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. 104-119 - Valentín Valero Ruiz
Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. 120-131 - Sylvie Boldo, Marc Daumas
Properties of the subtraction valid for any floating point system. 132-144 - Xavier Thirioux:
Simple and Efficient Translation from LTL Formulas to Buchi Automata. 145-159 - Armin Biere
Liveness Checking as Safety Checking. 160-177 - Henri Hansen
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. 178-193 - Antti Valmari, Heikki Virtanen, Antti Puhakka:
Context-Sensitive Visibility. 194-210 - Rance Cleaveland, Hubert Garavel:
Foreword. 211-213
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: