Skip to main content
SpringerLink
Log in
Book cover

Automated Technology for Verification and Analysis

10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Supratik Chakraborty

    1. Indian Institute of Technology, Computer Science and Engineering, Dept. of Computer Science and Engineering, IIT Bombay, Mumbai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Madhavan Mukund

    1. Chennai Mathematical Institute, Siruseri, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast conference proceedings
  • State-of-the-art report
  • Up to date results

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

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

Included in the following conference series:

Conference proceedings info: ATVA 2012.

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

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Verification of Computer Switching Networks: An Overview

      • Shuyuan Zhang, Sharad Malik, Rick McGeer
      Pages 1-16

    2. Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics

      • Sucheendra K. Palaniappan, P. S. Thiagarajan
      Pages 17-25

    3. Interpolant Automata

      • Andreas Podelski
      Pages 26-26

  3. Automata Theory

    1. Approximating Deterministic Lattice Automata

      • Shulamit Halamish, Orna Kupferman
      Pages 27-41

    2. Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata

      • Sven Schewe, Thomas Varghese
      Pages 42-56

    3. A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations

      • Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen
      Pages 57-71

    4. Rabinizer: Small Deterministic Automata for LTL(F,G)

      • Andreas Gaiser, Jan Křetínský, Javier Esparza
      Pages 72-76

  4. Logics and Proofs

    1. The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints

      • Paritosh K. Pandya, Simoni S. Shah
      Pages 77-91

    2. On Temporal Logic and Signal Processing

      • Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott Smolka
      Pages 92-106

    3. Improved Single Pass Algorithms for Resolution Proof Reduction

      • Ashutosh Gupta
      Pages 107-121

  5. Model Checking

    1. Model Checking Systems and Specifications with Parameterized Atomic Propositions

      • Orna Grumberg, Orna Kupferman, Sarai Sheinvald
      Pages 122-136

    2. Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations

      • Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard
      Pages 137-151

    3. Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding

      • Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
      Pages 152-166

  6. Software Verification

    1. Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data

      • Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
      Pages 167-182

    2. A Verifier for Functional Properties of Sequence-Manipulating Programs

      • Carlo A. Furia
      Pages 183-186

    3. Accelerating Interpolants

      • Hossein Hojjat, Radu Iosif, Filip Konečný, Viktor Kuncak, Philipp Rümmer
      Pages 187-202

    4. FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization

      • Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
      Pages 203-207

  7. Synthesis

    1. Synthesis of Succinct Systems

      • John Fearnley, Doron Peled, Sven Schewe
      Pages 208-222

    2. Controllers with Minimal Observation Power (Application to Timed Systems)

      • Peter Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
      Pages 223-237
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

About this book

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

Editors and Affiliations

  • Indian Institute of Technology, Computer Science and Engineering, Dept. of Computer Science and Engineering, IIT Bombay, Mumbai, India

    Supratik Chakraborty

  • Chennai Mathematical Institute, Siruseri, India

    Madhavan Mukund

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation