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

Automated Technology for Verification and Analysis

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

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)

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

Conference proceedings info: ATVA 2012.

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 (32 papers)

  1. Front Matter

    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

    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

    2. On Temporal Logic and Signal Processing

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

  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

    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

Back to top

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.
Back to top

Keywords

Back to top

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

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