Skip to main content
SpringerLink
Log in
Book cover

Tools and Algorithms for the Construction and Analysis of Systems

13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Orna Grumberg
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Huth
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4424)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TACAS 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (56 papers)

  1. Timed Automata and Duration Calculus

    1. On Sampling Abstraction of Continuous Time Logic with Durations

      • Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya
      Pages 246-260

  2. Assume-Guarantee Reasoning

    1. Assume-Guarantee Synthesis

      • Krishnendu Chatterjee, Thomas A. Henzinger
      Pages 261-275

    2. Optimized L*-Based Assume-Guarantee Reasoning

      • Sagar Chaki, Ofer Strichman
      Pages 276-291

    3. Refining Interface Alphabets for Compositional Verification

      • Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Păsăreanu
      Pages 292-307

    4. MAVEN: Modular Aspect Verification

      • Max Goldman, Shmuel Katz
      Pages 308-322

  3. Biological Systems

    1. Model Checking Liveness Properties of Genetic Regulatory Networks

      • Grégory Batt, Calin Belta, Ron Weiss
      Pages 323-338

    2. Checking Pedigree Consistency with PCS

      • Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls
      Pages 339-342

    3. “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models

      • Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard
      Pages 343-357

  4. Abstraction Refinement

    1. Deciding Bit-Vector Arithmetic with Abstraction

      • Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan Brady
      Pages 358-372

    2. Abstraction Refinement of Linear Programs with Arrays

      • Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
      Pages 373-388

    3. Property-Driven Partitioning for Abstraction Refinement

      • Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
      Pages 389-404

    4. Combining Abstraction Refinement and SAT-Based Model Checking

      • Nina Amla, Kenneth L. McMillan
      Pages 405-419

  5. Message Sequence Charts

    1. Detecting Races in Ensembles of Message Sequence Charts

      • Edith Elkind, Blaise Genest, Doron Peled
      Pages 420-434

    2. Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning

      • Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
      Pages 435-450

  6. Automata-Based Model Checking

    1. Improved Algorithms for the Automata-Based Approach to Model-Checking

      • Laurent Doyen, Jean-François Raskin
      Pages 451-465

    2. GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae

      • Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan
      Pages 466-471

    3. Faster Algorithms for Finitary Games

      • Florian Horn
      Pages 472-484

  7. Specification Languages

    1. Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs,

      • David Harel, Itai Segall
      Pages 485-499

    2. motor:The modest Tool Environment

      • Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
      Pages 500-504

    3. Syntactic Optimizations for PSL Verification

      • Alessandro Cimatti, Marco Roveri, Stefano Tonetta
      Pages 505-518
Back to top

Other volumes

  1. Tools and Algorithms for the Construction and Analysis of Systems

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation