skip to content
Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings Preview this item
ClosePreview this item
Checking...

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Author: Roberto Giacobazzi; Josh Berdine; Isabella Mastroeni
Publisher: Berlin ; New York : Springer, ©2013.
Series: 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.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Congresses
Electronic books
Conference papers and proceedings
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Roberto Giacobazzi; Josh Berdine; Isabella Mastroeni
ISBN: 9783642358739 364235873X 3642358721 9783642358722
OCLC Number: 824695342
Description: 1 online resource.
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.
Series Title: 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.
Other Titles: VMCAI 2013
Responsibility: Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.).

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/824695342> # Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "824695342" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1338018309#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Thing/computer_communication_networks> ; # Computer Communication Networks.
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Topic/software_validation> ; # Software Validation
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Thing/computation_by_abstract_devices> ; # Computation by Abstract Devices.
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Thing/artificial_intelligence> ; # Artificial intelligence.
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Topic/computers_software_development_&_engineering_quality_assurance_&_testing> ; # COMPUTERS--Software Development & Engineering--Quality Assurance & Testing
    schema:about <http://dewey.info/class/005.14/e23/> ;
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Thing/logic_design> ; # Logic design.
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://experiment.worldcat.org/entity/work/data/1338018309#Thing/computer_science> ; # Computer science.
    schema:alternateName "VMCAI 2013" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/305030185> ; # Isabella Mastroeni
    schema:contributor <http://viaf.org/viaf/70007478> ; # Roberto Giacobazzi
    schema:contributor <http://viaf.org/viaf/305030184> ; # Josh Berdine
    schema:copyrightYear "2013" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1338018309#Meeting/vmcai_conference_14th_2013_rome_italy> ; # VMCAI (Conference) (14th : 2013 : Rome, Italy)
    schema:datePublished "2013" ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1338018309> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Congresses"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1338018309#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1338018309#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1338018309#Series/advanced_research_in_computing_and_software_science> ; # Advanced research in computing and software science
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1338018309#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:name "Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings"@en ;
    schema:productID "824695342" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/824695342#PublicationEvent/berlin_new_york_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1338018309#Agent/springer> ; # Springer
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3068799> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=565854> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-35873-9> ;
    schema:url <http://site.ebrary.com/id/10643216> ;
    schema:workExample <http://worldcat.org/isbn/9783642358739> ;
    schema:workExample <http://worldcat.org/isbn/9783642358722> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/824695342> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Meeting/vmcai_conference_14th_2013_rome_italy> # VMCAI (Conference) (14th : 2013 : Rome, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1338018309#Place/rome_italy> ; # Rome, Italy)
    schema:name "VMCAI (Conference) (14th : 2013 : Rome, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Series/advanced_research_in_computing_and_software_science> # Advanced research in computing and software science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/824695342> ; # Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
    schema:name "Advanced research in computing and software science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/824695342> ; # Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/824695342> ; # Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/824695342> ; # Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Thing/artificial_intelligence> # Artificial intelligence.
    a schema:Thing ;
    schema:name "Artificial intelligence." ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Thing/computation_by_abstract_devices> # Computation by Abstract Devices.
    a schema:Thing ;
    schema:name "Computation by Abstract Devices." ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Thing/computer_communication_networks> # Computer Communication Networks.
    a schema:Thing ;
    schema:name "Computer Communication Networks." ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Topic/computers_software_development_&_engineering_quality_assurance_&_testing> # COMPUTERS--Software Development & Engineering--Quality Assurance & Testing
    a schema:Intangible ;
    schema:name "COMPUTERS--Software Development & Engineering--Quality Assurance & Testing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1338018309#Topic/software_validation> # Software Validation
    a schema:Intangible ;
    schema:name "Software Validation"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://viaf.org/viaf/305030184> # Josh Berdine
    a schema:Person ;
    schema:familyName "Berdine" ;
    schema:givenName "Josh" ;
    schema:name "Josh Berdine" ;
    .

<http://viaf.org/viaf/305030185> # Isabella Mastroeni
    a schema:Person ;
    schema:familyName "Mastroeni" ;
    schema:givenName "Isabella" ;
    schema:name "Isabella Mastroeni" ;
    .

<http://viaf.org/viaf/70007478> # Roberto Giacobazzi
    a schema:Person ;
    schema:familyName "Giacobazzi" ;
    schema:givenName "Roberto" ;
    schema:name "Roberto Giacobazzi" ;
    .

<http://worldcat.org/isbn/9783642358722>
    a schema:ProductModel ;
    schema:isbn "3642358721" ;
    schema:isbn "9783642358722" ;
    .

<http://worldcat.org/isbn/9783642358739>
    a schema:ProductModel ;
    schema:isbn "364235873X" ;
    schema:isbn "9783642358739" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/824695342> ; # Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/824695342>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/824695342> ; # Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
    schema:dateModified "2016-06-18" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.