Coverart for item
The Resource Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings, Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings, Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)

Label
Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Title
Verification, model checking, and abstract interpretation
Title remainder
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Statement of responsibility
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)
Title variation
VMCAI 2013
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Index
index present
LC call number
QA76.76.V47
LC item number
V53 2013
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
VMCAI (Conference)
Nature of contents
dictionaries
NLM call number
QA 76.76.V47
http://library.link/vocab/relatedWorkOrContributorName
  • Giacobazzi, Roberto
  • Berdine, Josh
  • Mastroeni, Isabella
Series statement
  • Lecture notes in computer science,
  • Advanced research in computing and software science
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7737
http://library.link/vocab/subjectName
  • Computer software
  • Software engineering
  • Software Validation
  • Software
  • COMPUTERS
  • Computer software
  • Software engineering
Label
Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings, Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Session 1:
  • Analysis of Systems with Continuous Behavior
  • SMT-Based Bisimulation Minimisation of Markov Models
  • Christian Dehnert, Joost-Pieter Katoen, David Parker
  • Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
  • Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
  • Quantifying Information Leakage of Randomized Protocols
  • Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Was̜owski
  • Session 2:
  • Synthesis
  • A Model-Constructing Satisfiability Calculus
  • Reductions for Synthesis Procedures
  • Swen Jacobs, Viktor Kuncak, Philippe Suter
  • Towards Efficient Parameterized Synthesis
  • Ayrat Khalimov, Swen Jacobs, Roderick Bloem
  • Leonardo de Moura, Dejan Jovanović
  • Automata as Proofs
  • Andreas Podelski
  • Complete Abstractions Everywhere
  • Francesco Ranzato
  • Abstraction-Guided Synthesis
  • Eran Yahav
  • Flow-Sensitive Fault Localization
  • Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies
  • Session 4:
  • Automata-Based Techniques
  • Static Analysis of String Encoders and Decoders
  • Loris D'Antoni, Margus Veanes
  • Robustness Analysis of Networked Systems
  • Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri
  • Causality Checking for Complex System Models
  • Florian Leitner-Fischer, Stefan Leue
  • Session 3:
  • Analysis Algorithms and Theorem Proving Techniques for Program Analysis
  • Automatic Inference of Necessary Preconditions
  • Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
  • Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
  • Yassamine Seladji, Olivier Bouissou
  • SMT-Based Array Invariant Generation
  • Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio
  • Compositional and Lightweight Dependent Type Inference for ML
  • He Zhu, Suresh Jagannathan
  • Abstract Read Permissions: Fractional Permissions without the Fractions
  • Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
  • Session 6:
  • Types and Proof Methodologies
  • Sound and Complete Flow Typing with Unions, Intersections and Negations
  • David J. Pearce
  • Session 7:
  • Abstract Domains
  • Session 5:
  • Knockout Prediction for Reaction Networks with Partial Kinetic Information
  • Mathias John, Mirabelle Nebut, Joachim Niehren
  • Reduced Product Combination of Abstract Domains for Shapes
  • Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
  • Abstraction of Syntax
  • Vijay D'Silva, Daniel Kroening
  • Tools
  • ClabureDB: Classified Bug-Reports Database
  • Jiri Slaby, Jan Strejček, Marek Trtík
  • Tool Integration with the Evidential Tool Bus
  • Simon Cruanes, Gregoire Hamon, Sam Owre, Natarajan Shankar
  • Session 6:
  • Types and Proof Methodologies
  • Session 9:
  • Distributed/Concurrent System Verification
  • All for the Price of Few
  • Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík
  • Uncovering Symmetries in Irregular Process Networks
  • Kedar S. Namjoshi, Richard J. Trefler
  • State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction
  • Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu
  • Compositional Sequentialization of Periodic Programs
  • Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman
  • Session 8:
  • Combining Boolean Solving and Abstract Domains for Theories
  • Logico-Numerical Max-Strategy Iteration
  • Peter Schrammel, Pavle Subotic
  • A Constraint Solver Based on Abstract Domains
  • Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou
  • An Abstract Interpretation of DPLL(T)
  • Martin Brain, Vijay D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening
Control code
824695342
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9783642358739
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)824695342
Label
Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings, Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Session 1:
  • Analysis of Systems with Continuous Behavior
  • SMT-Based Bisimulation Minimisation of Markov Models
  • Christian Dehnert, Joost-Pieter Katoen, David Parker
  • Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
  • Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
  • Quantifying Information Leakage of Randomized Protocols
  • Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Was̜owski
  • Session 2:
  • Synthesis
  • A Model-Constructing Satisfiability Calculus
  • Reductions for Synthesis Procedures
  • Swen Jacobs, Viktor Kuncak, Philippe Suter
  • Towards Efficient Parameterized Synthesis
  • Ayrat Khalimov, Swen Jacobs, Roderick Bloem
  • Leonardo de Moura, Dejan Jovanović
  • Automata as Proofs
  • Andreas Podelski
  • Complete Abstractions Everywhere
  • Francesco Ranzato
  • Abstraction-Guided Synthesis
  • Eran Yahav
  • Flow-Sensitive Fault Localization
  • Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies
  • Session 4:
  • Automata-Based Techniques
  • Static Analysis of String Encoders and Decoders
  • Loris D'Antoni, Margus Veanes
  • Robustness Analysis of Networked Systems
  • Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri
  • Causality Checking for Complex System Models
  • Florian Leitner-Fischer, Stefan Leue
  • Session 3:
  • Analysis Algorithms and Theorem Proving Techniques for Program Analysis
  • Automatic Inference of Necessary Preconditions
  • Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
  • Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
  • Yassamine Seladji, Olivier Bouissou
  • SMT-Based Array Invariant Generation
  • Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio
  • Compositional and Lightweight Dependent Type Inference for ML
  • He Zhu, Suresh Jagannathan
  • Abstract Read Permissions: Fractional Permissions without the Fractions
  • Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
  • Session 6:
  • Types and Proof Methodologies
  • Sound and Complete Flow Typing with Unions, Intersections and Negations
  • David J. Pearce
  • Session 7:
  • Abstract Domains
  • Session 5:
  • Knockout Prediction for Reaction Networks with Partial Kinetic Information
  • Mathias John, Mirabelle Nebut, Joachim Niehren
  • Reduced Product Combination of Abstract Domains for Shapes
  • Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
  • Abstraction of Syntax
  • Vijay D'Silva, Daniel Kroening
  • Tools
  • ClabureDB: Classified Bug-Reports Database
  • Jiri Slaby, Jan Strejček, Marek Trtík
  • Tool Integration with the Evidential Tool Bus
  • Simon Cruanes, Gregoire Hamon, Sam Owre, Natarajan Shankar
  • Session 6:
  • Types and Proof Methodologies
  • Session 9:
  • Distributed/Concurrent System Verification
  • All for the Price of Few
  • Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík
  • Uncovering Symmetries in Irregular Process Networks
  • Kedar S. Namjoshi, Richard J. Trefler
  • State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction
  • Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu
  • Compositional Sequentialization of Periodic Programs
  • Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman
  • Session 8:
  • Combining Boolean Solving and Abstract Domains for Theories
  • Logico-Numerical Max-Strategy Iteration
  • Peter Schrammel, Pavle Subotic
  • A Constraint Solver Based on Abstract Domains
  • Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou
  • An Abstract Interpretation of DPLL(T)
  • Martin Brain, Vijay D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening
Control code
824695342
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9783642358739
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)824695342

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...