skip to content
Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings Preview this item
ClosePreview this item
Checking...

Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Author: Barbara Jobstmann; K Rustan M Leino
Publisher: Berlin : Springer, 2016.
Series: Lecture notes in computer science, 9583.; 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
Summary:
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Barbara Jobstmann; K Rustan M Leino
ISBN: 9783662491225 3662491222
OCLC Number: 934620974
Notes: International conference proceedings.
Description: 1 online resource (xiii, 558 pages) : color illustrations.
Contents: Abstract Interpretation --
Abstraction --
Hybrid and Timed Systems --
Dynamic and Static Verification --
Probabilistic Systems --
Concurrent Programs --
Parameterized and Component-Based Systems --
Solver Improvements.
Series Title: Lecture notes in computer science, 9583.; 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 2016
Responsibility: Barbara Jobstmann, K. Rustan M. Leino (eds.).

Abstract:

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in  Read more...

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/934620974> # Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "934620974" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2828029259#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/2828029259#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/2828029259#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://dewey.info/class/005.14/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2828029259#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/2828029259#Topic/computation_by_abstract_devices> ; # Computation by Abstract Devices
    schema:about <http://experiment.worldcat.org/entity/work/data/2828029259#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/2828029259#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/2828029259#Topic/software_engineering> ; # Software Engineering
    schema:alternateName "VMCAI 2016" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2828029259#Meeting/vmcai_conference_17th_2016_saint_petersburg_fla> ; # VMCAI (Conference) (17th : 2016 : Saint Petersburg, Fla.)
    schema:datePublished "2016" ;
    schema:description "Abstract Interpretation -- Abstraction -- Hybrid and Timed Systems -- Dynamic and Static Verification -- Probabilistic Systems -- Concurrent Programs -- Parameterized and Component-Based Systems -- Solver Improvements."@en ;
    schema:description "This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/2828029259#Person/leino_k_rustan_m> ; # K. Rustan M. Leino
    schema:editor <http://experiment.worldcat.org/entity/work/data/2828029259#Person/jobstmann_barbara> ; # Barbara Jobstmann
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2828029259> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@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/2828029259#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2828029259#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2828029259#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/2828029259#Series/advanced_research_in_computing_and_software_science> ; # Advanced research in computing and software science
    schema:isSimilarTo <http://worldcat.org/entity/work/data/2828029259#CreativeWork/> ;
    schema:name "Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings"@en ;
    schema:productID "934620974" ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-662-49121-8> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-662-49122-5> ;
    schema:url <http://er.llcc.edu:2048/login?url=http://link.springer.com/10.1007/978-3-662-49122-5> ;
    schema:url <https://proxy1.library.eiu.edu/login?url=http://link.springer.com/10.1007/978-3-662-49122-5> ;
    schema:url <http://proxy.artic.edu/login?url=http://link.springer.com/10.1007/978-3-662-49122-5> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-662-49121-8> ;
    schema:url <http://sfx.carli.illinois.edu/sfxwhe/sfx_local?genre=book&sid=Voyager:WHE&sfx.ignore_date_threshold=1&svc.fulltext=yes&rft.isbn=978-3-662-49122-5> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-662-49122-5> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-49122-5> ;
    schema:url <http://dx.doi.org/10.1007/978-3-662-49122-5> ;
    schema:url <https://login.libproxy.noctrl.edu/login?url=http://link.springer.com/10.1007/978-3-662-49122-5> ;
    schema:url <http://link.springer.com/10.1007/978-3-662-49122-5> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-662-49122-5> ;
    schema:workExample <http://worldcat.org/isbn/9783662491225> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/934620974> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2828029259#Meeting/vmcai_conference_17th_2016_saint_petersburg_fla> # VMCAI (Conference) (17th : 2016 : Saint Petersburg, Fla.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/2828029259#Place/saint_petersburg_fla> ; # Saint Petersburg, Fla.)
    schema:name "VMCAI (Conference) (17th : 2016 : Saint Petersburg, Fla.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Person/jobstmann_barbara> # Barbara Jobstmann
    a schema:Person ;
    schema:familyName "Jobstmann" ;
    schema:givenName "Barbara" ;
    schema:name "Barbara Jobstmann" ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Person/leino_k_rustan_m> # K. Rustan M. Leino
    a schema:Person ;
    schema:familyName "Leino" ;
    schema:givenName "K. Rustan M." ;
    schema:name "K. Rustan M. Leino" ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Place/saint_petersburg_fla> # Saint Petersburg, Fla.)
    a schema:Place ;
    schema:name "Saint Petersburg, Fla.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#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/934620974> ; # Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    schema:name "Advanced research in computing and software science" ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/934620974> ; # Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/934620974> ; # Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#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/934620974> ; # Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Topic/computation_by_abstract_devices> # Computation by Abstract Devices
    a schema:Intangible ;
    schema:name "Computation by Abstract Devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
    schema:name "Computer Communication Networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Topic/computer_software_verification> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2828029259#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    schema:name "Software engineering"@en ;
    .

<http://link.springer.com/10.1007/978-3-662-49122-5>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/entity/work/data/2828029259#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/934620974> ; # Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    .

<http://worldcat.org/isbn/9783662491225>
    a schema:ProductModel ;
    schema:isbn "3662491222" ;
    schema:isbn "9783662491225" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/934620974> ; # Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/934620974>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/934620974> ; # Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    schema:dateModified "2018-01-05" ;
    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.