skip to content
Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures Preview this item
ClosePreview this item
Checking...

Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures

Author: Bertrand Meyer; Martin Nordio
Publisher: Berlin ; New York : Springer, ©2012.
Series: Lecture notes in computer science, 7682.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants  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: Print version:
LASER Summer School on "Software Engineering: Tools for Practical Software Verification" (8th : 2011 : Elba, Italy).
Tools for practical software verification.
Berlin ; New York : Springer, ©2012
(DLC) 2012954174
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Bertrand Meyer; Martin Nordio
ISBN: 9783642357466 3642357466 3642357458 9783642357459
OCLC Number: 823507768
Description: 1 online resource (181 pages) : illustrations.
Contents: Model Checking and the State Explosion Problem --
From Program to Logic: An Introduction --
Introduction to the Coq Proof-Assistant for Practical Software Verification --
Advanced Theorem Proving Techniques in PVS and Applications --
Automatic Verification of Advanced Object-Oriented Features: --
The AutoProof Approach --
Using Dafny, an Automatic Program Verifier.
Series Title: Lecture notes in computer science, 7682.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: LASER, International Summer School 2011
Responsibility: Bertrand Meyer, Martin Nordio (eds.).

Abstract:

The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During 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/823507768> # Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "823507768" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1193151372#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Thing/logic_design> ; # Logic design.
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Thing/programming_techniques> ; # Programming Techniques.
    schema:about <http://dewey.info/class/005.14/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Thing/information_systems> ; # Information Systems.
    schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Thing/management_of_computing_and_information_systems> ; # Management of Computing and Information Systems.
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/1193151372#Thing/computer_science> ; # Computer science.
    schema:alternateName "LASER, International Summer School 2011" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/121736238> ; # Martin Nordio
    schema:contributor <http://viaf.org/viaf/51714577> ; # Bertrand Meyer
    schema:copyrightYear "2012" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1193151372#Meeting/laser_summer_school_on_software_engineering_tools_for_practical_software_verification_8th_2011_elba_italy> ; # LASER Summer School on "Software Engineering: Tools for Practical Software Verification" (8th : 2011 : Elba, Italy)
    schema:datePublished "2012" ;
    schema:description "The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs."@en ;
    schema:description "Model Checking and the State Explosion Problem -- From Program to Logic: An Introduction -- Introduction to the Coq Proof-Assistant for Practical Software Verification -- Advanced Theorem Proving Techniques in PVS and Applications -- Automatic Verification of Advanced Object-Oriented Features: -- The AutoProof Approach -- Using Dafny, an Automatic Program Verifier."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1193151372> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1193151372#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1193151372#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/1193151372#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1193151372#CreativeWork/tools_for_practical_software_verification> ;
    schema:name "Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures"@en ;
    schema:productID "823507768" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/823507768#PublicationEvent/berlin_new_york_springer_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1193151372#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/978-3-642-35746-6> ;
    schema:url <http://site.ebrary.com/id/10640899> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-35745-9> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3068785> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://dx.doi.org/10.1007/978-3-642-35746-6> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-642-35745-9> ;
    schema:workExample <http://worldcat.org/isbn/9783642357459> ;
    schema:workExample <http://worldcat.org/isbn/9783642357466> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/823507768> ;
    .


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/1193151372#Meeting/laser_summer_school_on_software_engineering_tools_for_practical_software_verification_8th_2011_elba_italy> # LASER Summer School on "Software Engineering: Tools for Practical Software Verification" (8th : 2011 : Elba, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1193151372#Place/elba_italy> ; # Elba, Italy)
    schema:name "LASER Summer School on "Software Engineering: Tools for Practical Software Verification" (8th : 2011 : Elba, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1193151372#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/823507768> ; # Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1193151372#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/823507768> ; # Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1193151372#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/823507768> ; # Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1193151372#Thing/information_systems> # Information Systems.
    a schema:Thing ;
    schema:name "Information Systems." ;
    .

<http://experiment.worldcat.org/entity/work/data/1193151372#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/1193151372#Thing/management_of_computing_and_information_systems> # Management of Computing and Information Systems.
    a schema:Thing ;
    schema:name "Management of Computing and Information Systems." ;
    .

<http://experiment.worldcat.org/entity/work/data/1193151372#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/1193151372#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters.
    a schema:Thing ;
    schema:name "Programming Languages, Compilers, Interpreters." ;
    .

<http://experiment.worldcat.org/entity/work/data/1193151372#Thing/programming_techniques> # Programming Techniques.
    a schema:Thing ;
    schema:name "Programming Techniques." ;
    .

<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/121736238> # Martin Nordio
    a schema:Person ;
    schema:familyName "Nordio" ;
    schema:givenName "Martin" ;
    schema:name "Martin Nordio" ;
    .

<http://viaf.org/viaf/51714577> # Bertrand Meyer
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Meyer" ;
    schema:givenName "Bertrand" ;
    schema:name "Bertrand Meyer" ;
    .

<http://worldcat.org/entity/work/data/1193151372#CreativeWork/tools_for_practical_software_verification>
    a schema:CreativeWork ;
    rdfs:label "Tools for practical software verification." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/823507768> ; # Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
    .

<http://worldcat.org/isbn/9783642357459>
    a schema:ProductModel ;
    schema:isbn "3642357458" ;
    schema:isbn "9783642357459" ;
    .

<http://worldcat.org/isbn/9783642357466>
    a schema:ProductModel ;
    schema:isbn "3642357466" ;
    schema:isbn "9783642357466" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/823507768> ; # Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/823507768>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/823507768> ; # Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures
    schema:dateModified "2017-10-12" ;
    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.