Tools and Algorithms for the Construction and Analysis of Systems

10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Editors:

ISBN: 978-3-540-21299-7 (Print) 978-3-540-24730-2 (Online)

Table of contents (43 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Theorem Proving

    1. No Access

      Book Chapter

      Pages 1-15

      Revisiting Positive Equality

    2. No Access

      Book Chapter

      Pages 16-30

      An Interpolating Theorem Prover

    3. No Access

      Book Chapter

      Pages 31-45

      Minimal Assignments for Bounded Model Checking

  3. Probabilistic Model Checking

    1. No Access

      Book Chapter

      Pages 46-60

      Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study

    2. No Access

      Book Chapter

      Pages 61-76

      Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes

    3. No Access

      Book Chapter

      Pages 77-92

      Model Checking Discounted Temporal Properties

  4. Testing

    1. No Access

      Book Chapter

      Pages 93-107

      Automatic Creation of Environment Models via Training

    2. No Access

      Book Chapter

      Pages 108-122

      Error Explanation with Distance Metrics

    3. No Access

      Book Chapter

      Pages 123-138

      Online Efficient Predictive Safety Analysis of Multithreaded Programs

  5. Tools

    1. No Access

      Book Chapter

      Pages 139-143

      Vooduu: Verification of Object-Oriented Designs Using UPPAAL

    2. No Access

      Book Chapter

      Pages 144-152

      CoPS – Checker of Persistent Security

    3. No Access

      Book Chapter

      Pages 153-157

      Tampere Verification Tool

    4. No Access

      Book Chapter

      Pages 158-162

      SyncGen: An Aspect-Oriented Framework for Synchronization

    5. No Access

      Book Chapter

      Pages 163-167

      MetaGame: An Animation Tool for Model-Checking Games

    6. No Access

      Book Chapter

      Pages 168-176

      A Tool for Checking ANSI-C Programs

  6. Explicite State/Petri Nets

    1. No Access

      Book Chapter

      Pages 177-191

      Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method

    2. No Access

      Book Chapter

      Pages 192-204

      Automated Generation of a Progress Measure for the Sweep-Line Method

    3. No Access

      Book Chapter

      Pages 205-219

      Tarjan’s Algorithm Makes On-the-Fly LTL Verification More Efficient

  7. Scheduling

    1. No Access

      Book Chapter

      Pages 220-235

      Resource-Optimal Scheduling Using Priced Timed Automata

    2. No Access

      Book Chapter

      Pages 236-250

      Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

previous Page of 3