Book Volume 4346 2007

Formal Methods: Applications and Technology

11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

ISBN: 978-3-540-70951-0 (Print) 978-3-540-70952-7 (Online)

Table of contents (24 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Contributions

    1. No Access

      Chapter and Conference Paper

      Pages 1-22

      Challenges for Formal Verification in Industrial Setting

    2. No Access

      Chapter and Conference Paper

      Pages 23-34

      Distributed Verification: Exploring the Power of Raw Computing Power

  3. FMICS

    1. No Access

      Chapter and Conference Paper

      Pages 35-50

      An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment

    2. No Access

      Chapter and Conference Paper

      Pages 51-66

      ”To Store or Not To Store” Reloaded: Reclaiming Memory on Demand

    3. No Access

      Chapter and Conference Paper

      Pages 67-83

      Discovering Symmetries

    4. No Access

      Chapter and Conference Paper

      Pages 84-99

      On Combining Partial Order Reduction with Fairness Assumptions

    5. No Access

      Chapter and Conference Paper

      Pages 100-115

      Test Coverage for Loose Timing Annotations

    6. No Access

      Chapter and Conference Paper

      Pages 116-131

      Model-Based Testing of a WAP Gateway: An Industrial Case-Study

    7. No Access

      Chapter and Conference Paper

      Pages 132-147

      Heuristics for ioco-Based Test-Based Modelling

    8. No Access

      Chapter and Conference Paper

      Pages 148-164

      Verifying VHDL Designs with Multiple Clocks in SMV

    9. No Access

      Chapter and Conference Paper

      Pages 165-180

      Verified Design of an Automated Parking Garage

    10. No Access

      Chapter and Conference Paper

      Pages 181-194

      Evaluating Quality of Service for Service Level Agreements

    11. No Access

      Chapter and Conference Paper

      Pages 195-210

      Simulation-Based Performance Analysis of a Medical Image-Processing Architecture

    12. No Access

      Chapter and Conference Paper

      Pages 211-226

      Blasting Linux Code

    13. No Access

      Chapter and Conference Paper

      Pages 227-243

      A Finite State Modeling of AFDX Frame Management Using Spin

    14. No Access

      Chapter and Conference Paper

      Pages 244-260

      UML 2.0 State Machines: Complete Formal Semantics Via core state machine

    15. No Access

      Chapter and Conference Paper

      Pages 261-276

      Automated Incremental Synthesis of Timed Automata

    16. No Access

      Chapter and Conference Paper

      Pages 277-292

      SAT-Based Verification of LTL Formulas

    17. No Access

      Chapter and Conference Paper

      Pages 293-296

      jmle: A Tool for Executing JML Specifications Via Constraint Programming

    18. No Access

      Chapter and Conference Paper

      Pages 297-300

      Goanna—A Static Model Checker

previous Page of 2