skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings Preview this item
ClosePreview this item
Checking...

Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Author: Maurice H ter Beek; Annabelle McIver; José N Oliveira
Publisher: Cham, Switzerland : Springer, 2019.
Series: Formal methods; Lecture notes in computer science, 11800.; 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 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification;  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Maurice H ter Beek; Annabelle McIver; José N Oliveira
ISBN: 9783030309428 3030309428
OCLC Number: 1121045151
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xxi, 774 pages) : illustrations (some color)
Contents: Intro; Preface; Organization; Formal Methods for Security Functionality and for Secure Functionality (Invited Presentation); Contents; Invited Presentations; The Human in Formal Methods; 1 Humans and Formal Methods; 2 User Experience; 3 Education; 3.1 A Design Recipe for Writing Specifications; 3.2 Tools; 4 Conclusion; References; Successes in Deployed Verified Software (and Insights on Key Social Factors); 1 The Dream; 2 Successes in Deployed Verified Software; 3 Insights on Key Social Factors; References; Verification Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm1 Introduction; 2 The Winding Number Algorithm; 3 Program Transformation to Avoid Unstable Tests; 4 Test-Stable Version of the Winding Number; 5 Verification Approach; 6 Related Work; 7 Conclusion; References; Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions; 1 Introduction; 2 Extensions to FloVer; 3 Experiments; References; Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol; 1 Introduction; 2 The Chord Protocol; 2.1 Network Structure; 2.1.1 Identifier Space 2.1.2 Chord Network2.2 Chord Operations; 2.2.1 Formal Model; 2.2.2 Model-Specific State Variables; 2.2.3 Events; 2.3 Proof Engineering; 3 Chord Correctness; 3.1 Generic Properties; 3.2 Chord Properties; 3.2.1 Chord Invariants; 3.2.2 Always-True Properties; 4 Phase-Based Convergence Proof; 4.1 Reaching MS1: Rectifying and prdc in Members; 4.2 Reaching MS2: The First Successor Is a Member; 4.3 Reaching MS3: Stabilizing only Includes Members; 4.4 Reaching MS4: prdc Is the Inverse of bestSucc and the Rectifying and Stabilizing Sets of Each Node Are Empty 4.5 Reaching MS5: The Tail of the Successor List of Each Node Is Equal to the Successor List of Its First Successor4.6 Reaching the Ideal State; 5 Related Work; 6 Conclusion; References; On the Nature of Symbolic Execution; 1 Introduction; 2 Basic Symbolic Execution; 3 Recursion; 4 Object Orientation; 5 Arrays, Multithreading, and Concurrent Objects; 6 Conclusion; References; Synthesis Techniques; GR(1)*: GR(1) Specifications Extended with Existential Guarantees; 1 Introduction; 1.1 Example: Lift Specification; 1.2 Related Work; 2 Preliminaries; 2.1 Game Structures and Strategies 2.2 Linear Temporal Logic and the GR(1) Fragment2.3 -calculus over Game Structures; 3 GR(1)*: Going Beyond LTL; 3.1 GR(1)* Formulas; 3.2 GR(1)* Winning Condition; 3.3 Inexpressibility of GR(1)* Winning Conditions in LTL; 4 Solving GR(1)* Games; 5 Strategy Construction; 5.1 Construction Discussion and Overview; 5.2 Detailed Construction; 6 Implementation and Preliminary Evaluation; 6.1 Setup; 6.2 Results; 7 Conclusion; References; Counterexample-Driven Synthesis for Probabilistic Program Sketches; 1 Introduction; 2 Preliminaries and Problem Statement; 3 CEGIS for Markov Chain Families
Series Title: Formal methods; Lecture notes in computer science, 11800.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: FM 2019
Responsibility: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.).

Abstract:

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October  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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/1121045151<\/a>> # Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:MediaObject<\/a>, schema:Book<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1121045151<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/sz<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/004.0151\/e23\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Topic\/formal_methods_computer_science<\/a>> ; # Formal methods (Computer science)<\/span>\n\u00A0\u00A0\u00A0\nschema:alternateName<\/a> \"FM 2019<\/span>\" ;\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> schema:EBook<\/a> ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Meeting\/international_symposium_of_formal_methods_europe_23rd_2019_porto_portugal<\/a>> ; # International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal)<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2019<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations. --<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Intro; Preface; Organization; Formal Methods for Security Functionality and for Secure Functionality (Invited Presentation); Contents; Invited Presentations; The Human in Formal Methods; 1 Humans and Formal Methods; 2 User Experience; 3 Education; 3.1 A Design Recipe for Writing Specifications; 3.2 Tools; 4 Conclusion; References; Successes in Deployed Verified Software (and Insights on Key Social Factors); 1 The Dream; 2 Successes in Deployed Verified Software; 3 Insights on Key Social Factors; References; Verification<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Person\/mciver_annabelle<\/a>> ; # Annabelle McIver<\/span>\n\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Person\/beek_maurice_h_ter<\/a>> ; # Maurice H. ter Beek<\/span>\n\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Person\/oliveira_jose_n<\/a>> ; # Jos\u00E9 N. Oliveira<\/span>\n\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/9578545876<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Electronic books<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference papers and proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference publication<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Series\/lecture_notes_in_computer_science<\/a>> ; # Lecture notes in computer science ;<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Series\/lncs_sublibrary<\/a>> ; # LNCS sublibrary.<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Series\/lncs_sublibrary_sl_2_programming_and_software_engineering<\/a>> ; # LNCS sublibrary. SL 2, Programming and software engineering<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Series\/formal_methods<\/a>> ; # Formal methods<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1121045151<\/span>\" ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/doi.org\/10.1007\/978-3-030-30942-8<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/public.ebookcentral.proquest.com\/choice\/publicfullrecord.aspx?p=5920893<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/dx.doi.org\/10.1007\/978-3-030-30942-8<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783030309428<\/a>> ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/bnb.data.bl.uk\/id\/resource\/GBB9G5999<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1121045151<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/004.0151\/e23\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dx.doi.org\/10.1007\/978-3-030-30942-8<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:IndividualProduct<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Meeting\/international_symposium_of_formal_methods_europe_23rd_2019_porto_portugal<\/a>> # International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Meeting<\/a>, schema:Event<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Place\/porto_portugal<\/a>> ; # Porto, Portugal)<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Person\/beek_maurice_h_ter<\/a>> # Maurice H. ter Beek<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Beek<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Maurice H. ter<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Maurice H. ter Beek<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Person\/mciver_annabelle<\/a>> # Annabelle McIver<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"McIver<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Annabelle<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Annabelle McIver<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Person\/oliveira_jose_n<\/a>> # Jos\u00E9 N. Oliveira<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Oliveira<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Jos\u00E9 N.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Jos\u00E9 N. Oliveira<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Place\/porto_portugal<\/a>> # Porto, Portugal)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Porto, Portugal)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Series\/formal_methods<\/a>> # Formal methods<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1121045151<\/a>> ; # Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Formal methods<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Series\/lecture_notes_in_computer_science<\/a>> # Lecture notes in computer science ;<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1121045151<\/a>> ; # Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Series\/lncs_sublibrary<\/a>> # LNCS sublibrary.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1121045151<\/a>> ; # Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"LNCS sublibrary.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Series\/lncs_sublibrary_sl_2_programming_and_software_engineering<\/a>> # LNCS sublibrary. SL 2, Programming and software engineering<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/1121045151<\/a>> ; # Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"LNCS sublibrary. SL 2, Programming and software engineering<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/9578545876#Topic\/formal_methods_computer_science<\/a>> # Formal methods (Computer science)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Formal methods (Computer science)<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/sz<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"sz<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783030309428<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3030309428<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783030309428<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1121045151<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/1121045151<\/a>> ; # Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-11-14<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n