Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Ahmed Bouajjani

    1. University of Paris, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wei-Ngan Chin

    1. National University of Singapore, Republic of Singapore

    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 6252)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ATVA 2010.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Keywords

Table of contents (33 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results

      • Krishnendu Chatterjee, Thomas A. Henzinger
      Pages 1-16

    2. Abstraction Learning

      • Joxan Jaffar, Jorge Navas, Andrew Santosa
      Pages 17-17

    3. Synthesis: Words and Traces

      • Igor Walukiewicz
      Pages 18-21

  3. Regular Papers

    1. Promptness in ω-Regular Automata

      • Shaull Almagor, Yoram Hirshfeld, Orna Kupferman
      Pages 22-36

    2. Using Redundant Constraints for Refinement

      • Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier
      Pages 37-51

    3. Methods for Knowledge Based Controlling of Distributed Systems

      • Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton
      Pages 52-66

    4. Composing Reachability Analyses of Hybrid Systems for Safety and Stability

      • Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski
      Pages 67-81

    5. The Complexity of Codiagnosability for Discrete Event and Timed Systems

      • Franck Cassez
      Pages 82-96

    6. On Scenario Synchronization

      • Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
      Pages 97-111

    7. Compositional Algorithms for LTL Synthesis

      • Emmanuel Filiot, Nayiong Jin, Jean-François Raskin
      Pages 112-127

    8. What’s Decidable about Sequences?

      • Carlo A. Furia
      Pages 128-142

    9. A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network

      • Guy Edward Gallasch, Jonathan Billington
      Pages 143-157

    10. Lattice-Valued Binary Decision Diagrams

      • Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-Francois Raskin
      Pages 158-172

    11. A Specification Logic for Exceptions and Beyond

      • Cristian Gherghina, Cristina David
      Pages 173-187

    12. Non-monotonic Refinement of Control Abstraction for Concurrent Programs

      • Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
      Pages 188-202

    13. An Approach for Class Testing from Class Contracts

      • Atul Gupta
      Pages 203-217

    14. Efficient On-the-Fly Emptiness Check for Timed Büchi Automata

      • Frédéric Herbreteau, B Srivathsan
      Pages 218-232

    15. Reachability as Derivability, Finite Countermodels and Verification

      • Alexei Lisitsa
      Pages 233-244

    16. LTL Can Be More Succinct

      • Kamal Lodaya, A V Sreejith
      Pages 245-258
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Editors and Affiliations

  • University of Paris, Paris, France

    Ahmed Bouajjani

  • National University of Singapore, Republic of Singapore

    Wei-Ngan Chin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation