skip to content
Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Author: Shuvendu Lahiri; Chao Wang
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 11138.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical  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:
Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Shuvendu Lahiri; Chao Wang
ISBN: 9783030010904 3030010902
OCLC Number: 1055657165
Notes: Includes author index.
Description: 1 online resource (xiii, 560 pages) : illustrations.
Contents: Formal Methods --
Verification --
Program Synthesis --
Model Checking --
Theorem Proving --
Software Verification --
SAT Solver --
SMT Solver --
Automaton Logic.
Series Title: Lecture notes in computer science, 11138.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: ATVA 2018
Responsibility: Shuvendu K. Lahiri, Chao Wang (eds.).

Abstract:

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The  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/1055657165> # Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "1055657165" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computer_security> ; # Computer security
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/mathematics_logic> ; # Mathematics--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/simulation_and_modeling> ; # Simulation and Modeling
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/mathematical_theory_of_computation> ; # Mathematical theory of computation
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_programming_general> ; # Computers--Programming--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/systems_and_data_security> ; # Systems and Data Security
    schema:about <http://dewey.info/class/006.333/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_computer_simulation> ; # Computers--Computer Simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_security_general> ; # Computers--Security--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/3d_graphics_&_modelling> ; # 3D graphics & modelling
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computer_programming_software_development> ; # Computer programming--software development
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5516372422#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:alternateName "ATVA 2018" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/5516372422#Meeting/atva_symposium_16th_2018_los_angeles_calif> ; # ATVA (Symposium) (16th : 2018 : Los Angeles, Calif.)
    schema:datePublished "2018" ;
    schema:description "This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field."@en ;
    schema:description "Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automaton Logic."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5516372422#Person/wang_chao_1985> ; # Chao Wang
    schema:editor <http://experiment.worldcat.org/entity/work/data/5516372422#Person/lahiri_shuvendu> ; # Shuvendu Lahiri
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5516372422> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5516372422#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5516372422#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5516372422#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5516372422#CreativeWork/> ;
    schema:name "Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings"@en ;
    schema:productID "1055657165" ;
    schema:url <http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-030-01090-4> ;
    schema:url <https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-030-01090-4> ;
    schema:url <https://ezproxy.lau.edu.lb:2443/login?url=https://doi.org/10.1007/978-3-030-01090-4> ;
    schema:url <http://proxy.library.brocku.ca/login?url=http://link.springer.com/10.1007/978-3-030-01090-4> ;
    schema:url <https://doi.org/10.1007/978-3-030-01090-4> ;
    schema:url <http://ezaccess.libraries.psu.edu/login?url=https://doi.org/10.1007/978-3-030-01090-4> ;
    schema:url <https://link.springer.com/10.1007/978-3-030-01090-4> ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=https://doi.org/10.1007/978-3-030-01090-4> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-030-01090-4> ;
    schema:url <http://link.springer.com/10.1007/978-3-030-01090-4> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-01090-4> ;
    schema:workExample <http://worldcat.org/isbn/9783030010904> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1055657165> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5516372422#Meeting/atva_symposium_16th_2018_los_angeles_calif> # ATVA (Symposium) (16th : 2018 : Los Angeles, Calif.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5516372422#Place/los_angeles_calif> ; # Los Angeles, Calif.)
    schema:name "ATVA (Symposium) (16th : 2018 : Los Angeles, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Person/lahiri_shuvendu> # Shuvendu Lahiri
    a schema:Person ;
    schema:familyName "Lahiri" ;
    schema:givenName "Shuvendu" ;
    schema:name "Shuvendu Lahiri" ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Person/wang_chao_1985> # Chao Wang
    a schema:Person ;
    schema:birthDate "1985" ;
    schema:familyName "Wang" ;
    schema:givenName "Chao" ;
    schema:name "Chao Wang" ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Place/los_angeles_calif> # Los Angeles, Calif.)
    a schema:Place ;
    schema:name "Los Angeles, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1055657165> ; # Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1055657165> ; # Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1055657165> ; # Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/3d_graphics_&_modelling> # 3D graphics & modelling
    a schema:Intangible ;
    schema:name "3D graphics & modelling"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/automatic_theorem_proving> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computer_programming_software_development> # Computer programming--software development
    a schema:Intangible ;
    schema:name "Computer programming--software development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computer_security> # Computer security
    a schema:Intangible ;
    schema:name "Computer security"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_computer_simulation> # Computers--Computer Simulation
    a schema:Intangible ;
    schema:name "Computers--Computer Simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_programming_general> # Computers--Programming--General
    a schema:Intangible ;
    schema:name "Computers--Programming--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_programming_languages_general> # Computers--Programming Languages--General
    a schema:Intangible ;
    schema:name "Computers--Programming Languages--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_security_general> # Computers--Security--General
    a schema:Intangible ;
    schema:name "Computers--Security--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/computers_software_development_&_engineering_general> # Computers--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "Computers--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#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/5516372422#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/5516372422#Topic/mathematical_theory_of_computation> # Mathematical theory of computation
    a schema:Intangible ;
    schema:name "Mathematical theory of computation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/mathematics_logic> # Mathematics--Logic
    a schema:Intangible ;
    schema:name "Mathematics--Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/programming_&_scripting_languages_general> # Programming & scripting languages: general
    a schema:Intangible ;
    schema:name "Programming & scripting languages: general"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5516372422#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/5516372422#Topic/simulation_and_modeling> # Simulation and Modeling
    a schema:Intangible ;
    schema:name "Simulation and Modeling"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/5516372422#Topic/systems_and_data_security> # Systems and Data Security
    a schema:Intangible ;
    schema:name "Systems and Data Security"@en ;
    .

<http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-030-01090-4>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://worldcat.org/entity/work/data/5516372422#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1055657165> ; # Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
    .

<http://worldcat.org/isbn/9783030010904>
    a schema:ProductModel ;
    schema:isbn "3030010902" ;
    schema:isbn "9783030010904" ;
    .

<http://www.worldcat.org/title/-/oclc/1055657165>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1055657165> ; # Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
    schema:dateModified "2019-06-23" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-030-01090-4>
    rdfs:comment "Unlimited Access available" ;
    rdfs:comment "Access restricted: DAL users only" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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