Coverart for item
The Resource Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, Supratik Chakraborty, Madhavan Mukund (eds.), (electronic resource)

Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, Supratik Chakraborty, Madhavan Mukund (eds.), (electronic resource)

Label
Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Title
Automated technology for verification and analysis
Title remainder
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
Statement of responsibility
Supratik Chakraborty, Madhavan Mukund (eds.)
Title variation
ATVA 2012
Creator
Contributor
Provider
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
GW5XE
Image bit depth
0
LC call number
QA76.9.A96
LC item number
A88 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
ATVA (Symposium)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • SpringerLink
  • Chakraborty, Supratik
  • Mukund, Madhavan
Series statement
Lecture Notes in Computer Science,
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Artificial intelligence
  • Artificial intelligence
  • Automatic theorem proving
  • Informatique
Label
Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, Supratik Chakraborty, Madhavan Mukund (eds.), (electronic resource)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Carrier category
online bron
Carrier category code
  • cr
Carrier MARC source
rdacarrier/dut
Color
not applicable
Content category
tekst
Content type code
  • txt
Content type MARC source
rdacontent/dut
Contents
  • Shulamit Halamish and Orna Kupferman
  • Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata
  • Sven Schewe and Thomas Varghese
  • A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations
  • Sofia Cassel, Bengt Jonsson, Falk Howar and Bernhard Steffen
  • Rabinizer: Small Deterministic Automata for LTL(F,G)
  • Andreas Gaiser, Jan Křetínský and Javier Esparza
  • The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints
  • Paritosh K. Pandya and Simoni S. Shah --
  • Verification of Computer Switching Networks: An Overview
  • Shuyuan Zhang, Sharad Malik and Rick McGeer
  • Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics
  • Sucheendra K. Palaniappan and P. S. Thiagarajan
  • Interpolant Automata
  • (Invited Talk)
  • Andreas Podelski
  • Approximating Deterministic Lattice Automata
  • Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding
  • Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar and Prakash Saivasan
  • Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data
  • Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea and Mihaela Sighireanu
  • A Verifier for Functional Properties of Sequence-Manipulating Programs
  • Carlo A. Furia
  • Accelerating Interpolants
  • Hossein Hojjat, Radu Iosif, Filip Konečný, Viktor Kuncak and Philipp Rümmer --
  • On Temporal Logic and Signal Processing
  • Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic and Radu Grosu, et al.
  • Improved Single Pass Algorithms for Resolution Proof Reduction
  • Ashutosh Gupta
  • Model Checking Systems and Specifications with Parameterized Atomic Propositions
  • Orna Grumberg, Orna Kupferman and Sarai Sheinvald
  • Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
  • Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang and Antoine Girard
  • Parallel Assertions for Architectures with Weak Memory Models
  • Daniel Schwartz-Narbonne, Georg Weissenbacher and Sharad Malik
  • Improved Multi-Core Nested Depth-First Search
  • Sami Evangelista, Alfons Laarman, Laure Petrucci and Jaco van de Pol
  • An Experiment on Parallel Model Checking of a CTL Fragment
  • Rodrigo T. Saad, Silvano Dal Zilio and Bernard Berthomieu
  • Variable Probabilistic Abstraction Refinement
  • Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns and Björn Wachter --
  • FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization
  • Ondrej Sery, Grigory Fedyukovich and Natasha Sharygina
  • Synthesis of Succinct Systems
  • John Fearnley, Doron Peled and Sven Schewe
  • Controllers with Minimal Observation Power (Application to Timed Systems)
  • Peter Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen and Jean-François Raskin, et al.
  • Counterexample Guided Synthesis of Monitors for Realizability Enforcement
  • Matthias Güdemann, Gwen Salaün and Meriem Ouederni
  • ALLQBF Solving by Computational Learning
  • Bernd Becker, Rüdiger Ehlers, Matthew Lewis and Paolo Marin
  • Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games
  • Krishnendu Chatterjee, Martin Chmelík and Rupak Majumdar
  • A Probabilistic Kleene Theorem
  • Benedikt Bollig, Paul Gastin, Benjamin Monmege and Marc Zeitoun
  • Higher-Order Approximations for Verification of Stochastic Hybrid Systems
  • Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate
  • Pareto Curves for Probabilistic Model Checking
  • Vojtěch Forejt, Marta Kwiatkowska and David Parker
  • Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements
  • Sergio Giro and Markus N. Rabe
  • The COMICS Tool - Computing Minimal Counterexamples for DTMCs
  • Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer and Joost-Pieter Katoen, et al.
  • Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers
  • Daniel Neider
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642333866
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia/dut
Media type code
  • c
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)812289660
  • (OCoLC)ocn812289660
Label
Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, Supratik Chakraborty, Madhavan Mukund (eds.), (electronic resource)
Publication
Note
International conference proceedings
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Carrier category
online bron
Carrier category code
  • cr
Carrier MARC source
rdacarrier/dut
Color
not applicable
Content category
tekst
Content type code
  • txt
Content type MARC source
rdacontent/dut
Contents
  • Shulamit Halamish and Orna Kupferman
  • Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata
  • Sven Schewe and Thomas Varghese
  • A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations
  • Sofia Cassel, Bengt Jonsson, Falk Howar and Bernhard Steffen
  • Rabinizer: Small Deterministic Automata for LTL(F,G)
  • Andreas Gaiser, Jan Křetínský and Javier Esparza
  • The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints
  • Paritosh K. Pandya and Simoni S. Shah --
  • Verification of Computer Switching Networks: An Overview
  • Shuyuan Zhang, Sharad Malik and Rick McGeer
  • Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics
  • Sucheendra K. Palaniappan and P. S. Thiagarajan
  • Interpolant Automata
  • (Invited Talk)
  • Andreas Podelski
  • Approximating Deterministic Lattice Automata
  • Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding
  • Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar and Prakash Saivasan
  • Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data
  • Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea and Mihaela Sighireanu
  • A Verifier for Functional Properties of Sequence-Manipulating Programs
  • Carlo A. Furia
  • Accelerating Interpolants
  • Hossein Hojjat, Radu Iosif, Filip Konečný, Viktor Kuncak and Philipp Rümmer --
  • On Temporal Logic and Signal Processing
  • Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic and Radu Grosu, et al.
  • Improved Single Pass Algorithms for Resolution Proof Reduction
  • Ashutosh Gupta
  • Model Checking Systems and Specifications with Parameterized Atomic Propositions
  • Orna Grumberg, Orna Kupferman and Sarai Sheinvald
  • Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
  • Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang and Antoine Girard
  • Parallel Assertions for Architectures with Weak Memory Models
  • Daniel Schwartz-Narbonne, Georg Weissenbacher and Sharad Malik
  • Improved Multi-Core Nested Depth-First Search
  • Sami Evangelista, Alfons Laarman, Laure Petrucci and Jaco van de Pol
  • An Experiment on Parallel Model Checking of a CTL Fragment
  • Rodrigo T. Saad, Silvano Dal Zilio and Bernard Berthomieu
  • Variable Probabilistic Abstraction Refinement
  • Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns and Björn Wachter --
  • FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization
  • Ondrej Sery, Grigory Fedyukovich and Natasha Sharygina
  • Synthesis of Succinct Systems
  • John Fearnley, Doron Peled and Sven Schewe
  • Controllers with Minimal Observation Power (Application to Timed Systems)
  • Peter Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen and Jean-François Raskin, et al.
  • Counterexample Guided Synthesis of Monitors for Realizability Enforcement
  • Matthias Güdemann, Gwen Salaün and Meriem Ouederni
  • ALLQBF Solving by Computational Learning
  • Bernd Becker, Rüdiger Ehlers, Matthew Lewis and Paolo Marin
  • Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games
  • Krishnendu Chatterjee, Martin Chmelík and Rupak Majumdar
  • A Probabilistic Kleene Theorem
  • Benedikt Bollig, Paul Gastin, Benjamin Monmege and Marc Zeitoun
  • Higher-Order Approximations for Verification of Stochastic Hybrid Systems
  • Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate
  • Pareto Curves for Probabilistic Model Checking
  • Vojtěch Forejt, Marta Kwiatkowska and David Parker
  • Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements
  • Sergio Giro and Markus N. Rabe
  • The COMICS Tool - Computing Minimal Counterexamples for DTMCs
  • Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer and Joost-Pieter Katoen, et al.
  • Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers
  • Daniel Neider
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642333866
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia/dut
Media type code
  • c
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)812289660
  • (OCoLC)ocn812289660

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...