Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Automated Technology for Verification and Analysis

11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Editors:

  1. Dang Hung

    1. University of Engineering and Technology, Vietnam National University, Hanoi, Vietnam

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mizuhito Ogawa

    1. School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-conference proceedings of ATVA 2013

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

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

Conference series link(s): ATVA: International Symposium on Automated Technology for Verification and Analysis

Conference proceedings info: ATVA 2013.

Sections

Buy it 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

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

Table of contents (45 papers)

  1. Front Matter

    PDF

  2. Invited Papers

    1. Acceleration for Petri Nets

      • Jérôme Leroux
      Pages 1-4

    3. SMT-Based Software Model Checking

      • Alessandro Cimatti
      Pages 23-23

  3. Regular Papers

    1. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment

      • Tomáš Babiak, František Blahoudek, Mojmír Křetínský, Jan Strejček
      Pages 24-39

    2. Improved Upper and Lower Bounds for Büchi Disambiguation

      • Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty
      Pages 40-54

    3. Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points

      • Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joel Ouaknine, Jean-Francois Raskin, James Worrell
      Pages 55-70

    4. An Automatic Technique for Checking the Simulation of Timed Systems

      • Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho
      Pages 71-86

    5. Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

      • Aleksandra Jovanović, Didier Lime, Olivier H. Roux
      Pages 87-101

    6. Kleene Algebras and Semimodules for Energy Problems

      • Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
      Pages 102-117

    7. Looking at Mean-Payoff and Total-Payoff through Windows

      • Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
      Pages 118-132

    8. Weighted Safety

      • Sigal Weiner, Matan Hasson, Orna Kupferman, Eyal Pery, Zohar Shevach
      Pages 133-147

    9. A Framework for Ranking Vacuity Results

      • Shoham Ben-David, Orna Kupferman
      Pages 148-162

    10. Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications

      • Ramiro Demasi, Pablo F. Castro, Thomas S. E. Maibaum, Nazareno Aguirre
      Pages 163-177

    11. Verification of a Dynamic Management Protocol for Cloud Applications

      • Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma
      Pages 178-192

    12. Compact Symbolic Execution

      • Jiri Slaby, Jan Strejček, Marek Trtík
      Pages 193-207

    13. Multi-threaded Explicit State Space Exploration with State Reconstruction

      • Sami Evangelista, Lars Michael Kristensen, Laure Petrucci
      Pages 208-223

    14. Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata

      • Parosh Aziz Abdulla, Lukáš Holík, Bengt Jonsson, Ondřej Lengál, Cong Quy Trinh, Tomáš Vojnar
      Pages 224-239

    15. Integrating Policy Iterations in Abstract Interpreters

      • Pierre Roux, Pierre-Loïc Garoche
      Pages 240-254

    16. Interpolation Properties and SAT-Based Model Checking

      • Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina
      Pages 255-271
Back to top

About this book

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.
Back to top

Keywords

Back to top

Editors and Affiliations

  • University of Engineering and Technology, Vietnam National University, Hanoi, Vietnam

    Dang Hung

  • School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, Japan

    Mizuhito Ogawa

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it 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

Search

Navigation