Limit search to available items
Book Cover
E-book
Author VMCAI (Conference) (14th : 2013 : Rome, Italy)

Title 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.)
Published Berlin ; New York : Springer, ©2013

Copies

Description 1 online resource
Series Lecture notes in computer science, 0302-9743 ; 7737
Advanced research in computing and software science
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 7737
Lecture notes in computer science. Advanced research in computing and software science
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Contents A Model-Constructing Satisfiability Calculus / Leonardo de Moura, Dejan Jovanović -- Automata as Proofs / Andreas Podelski -- Complete Abstractions Everywhere / Francesco Ranzato -- Abstraction-Guided Synthesis / Eran Yahav -- 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 Wąsowski -- Session 2: Synthesis -- Reductions for Synthesis Procedures / Swen Jacobs, Viktor Kuncak, Philippe Suter -- Towards Efficient Parameterized Synthesis / Ayrat Khalimov, Swen Jacobs, Roderick Bloem
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 -- 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 5: 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 -- 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 -- 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
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 -- 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
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
Analysis Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Computation by Abstract Devices
computerwetenschappen
computer sciences
kunstmatige intelligentie
wiskunde
mathematics
logica
logic
computational science
computernetwerken
computer networks
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Bibliography Includes author index
Subject Computer software -- Verification -- Congresses
Software engineering -- Congresses
Software Validation
Software
software.
COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing.
Computer software -- Verification
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Giacobazzi, Roberto
Berdine, Josh
Mastroeni, Isabella
ISBN 9783642358739
364235873X
3642358721
9783642358722
Other Titles VMCAI 2013