skip to content
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author: María del Mar Gallardo; Pedro Merino
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 10869.; 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 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as  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: María del Mar Gallardo; Pedro Merino
ISBN: 9783319941110 3319941119
OCLC Number: 1041140117
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xvi, 347 pages) : illustrations.
Contents: Formal verification techniques for automated analysis of software --
Formal analysis for modeling languages, such as UML/state charts --
Formal specification languages, temporal logic, design-by-contract --
Model checking --
Automated theorem proving, including SAT and SMT --
Verifying compilers --
Abstraction and symbolic execution techniques.
Series Title: Lecture notes in computer science, 10869.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: SPIN 2018
Responsibility: María del Mar Gallardo, Pedro Merino (eds.).

Abstract:

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper,  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/1041140117> # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "1041140117" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computer_software_testing> ; # Computer software--Testing
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/mathematical_theory_of_computation> ; # Mathematical theory of computation
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computer_modelling_&_simulation> ; # Computer modelling & simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computers_programming_general> ; # Computers--Programming--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#CreativeWork/spin_computer_file> ; # SPIN (Computer file)
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computer_programming_software_development> ; # Computer programming / software development
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computers_computer_simulation> ; # Computers--Computer Simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/algorithms_&_data_structures> ; # Algorithms & data structures
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/mathematics_logic> ; # Mathematics--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/simulation_and_modeling> ; # Simulation and Modeling
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computers_programming_algorithms> ; # Computers--Programming--Algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:about <http://dewey.info/class/005.14/e23/> ;
    schema:alternateName "SPIN 2018" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/5237623708#Meeting/international_spin_workshop_25th_2018_malaga_spain> ; # International SPIN Workshop (25th : 2018 : Málaga, Spain)
    schema:datePublished "2018" ;
    schema:description "This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more."@en ;
    schema:description "Formal verification techniques for automated analysis of software -- Formal analysis for modeling languages, such as UML/state charts -- Formal specification languages, temporal logic, design-by-contract -- Model checking -- Automated theorem proving, including SAT and SMT -- Verifying compilers -- Abstraction and symbolic execution techniques."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5237623708#Person/gallardo_maria_del_mar> ; # María del Mar Gallardo
    schema:editor <http://experiment.worldcat.org/entity/work/data/5237623708#Person/merino_pedro> ; # Pedro Merino
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5237623708> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@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/5237623708#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5237623708#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5237623708#CreativeWork/> ;
    schema:name "Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings"@en ;
    schema:productID "1041140117" ;
    schema:url <http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-319-94111-0> ;
    schema:url <http://proxy.library.brocku.ca/login?url=http://link.springer.com/10.1007/978-3-319-94111-0> ;
    schema:url <https://link.springer.com/10.1007/978-3-319-94111-0> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-94111-0> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-94111-0> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-94110-3> ;
    schema:url <https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-319-94111-0> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-319-94111-0> ;
    schema:workExample <http://worldcat.org/isbn/9783319941110> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-94111-0> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB8M4014> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1041140117> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5237623708#CreativeWork/spin_computer_file> # SPIN (Computer file)
    a schema:CreativeWork ;
    schema:name "SPIN (Computer file)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Meeting/international_spin_workshop_25th_2018_malaga_spain> # International SPIN Workshop (25th : 2018 : Málaga, Spain)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5237623708#Place/malaga_spain> ; # Málaga, Spain)
    schema:name "International SPIN Workshop (25th : 2018 : Málaga, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Person/gallardo_maria_del_mar> # María del Mar Gallardo
    a schema:Person ;
    schema:familyName "Gallardo" ;
    schema:givenName "María del Mar" ;
    schema:name "María del Mar Gallardo" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Person/merino_pedro> # Pedro Merino
    a schema:Person ;
    schema:familyName "Merino" ;
    schema:givenName "Pedro" ;
    schema:name "Pedro Merino" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Place/malaga_spain> # Málaga, Spain)
    a schema:Place ;
    schema:name "Málaga, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1041140117> ; # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#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/1041140117> ; # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Topic/algorithms_&_data_structures> # Algorithms & data structures
    a schema:Intangible ;
    schema:name "Algorithms & data structures"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computer_modelling_&_simulation> # Computer modelling & simulation
    a schema:Intangible ;
    schema:name "Computer modelling & simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#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/5237623708#Topic/computer_software_testing> # Computer software--Testing
    a schema:Intangible ;
    schema:name "Computer software--Testing"@en ;
    .

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

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

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

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

<http://experiment.worldcat.org/entity/work/data/5237623708#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/5237623708#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/5237623708#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/5237623708#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/5237623708#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/5237623708#Topic/mathematics_logic> # Mathematics--Logic
    a schema:Intangible ;
    schema:name "Mathematics--Logic"@en ;
    .

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

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

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

<http://worldcat.org/entity/work/data/5237623708#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1041140117> ; # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    .

<http://worldcat.org/isbn/9783319941110>
    a schema:ProductModel ;
    schema:isbn "3319941119" ;
    schema:isbn "9783319941110" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1041140117> ; # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, 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/1041140117>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1041140117> ; # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    schema:dateModified "2019-03-07" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-319-94111-0>
    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.