skip to content
Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings Preview this item
ClosePreview this item
Checking...

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Author: Einar Broch Johnsen; Luigia Petre
Publisher: Berlin ; New York : Springer, ©2013.
Series: Lecture notes in computer science, 7940.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation,  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: Congresses
Electronic books
Conference papers and proceedings
Additional Physical Format: Print version:
International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland).
Integrated formal methods.
Berlin ; New York : Springer, ©2013 International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland).
(OCoLC)856263567
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Einar Broch Johnsen; Luigia Petre
ISBN: 9783642386138 364238613X 3642386121 9783642386121
OCLC Number: 844730917
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xiii, 442 pages) : illustrations.
Contents: Invited Paper 1: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs / Jean-Raymond Abrial --
Refinement, Integration, Translation. Systems Design Guided by Progress Concerns / Simon Hudon, Thai Son Hoang --
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement / Christian Prehofer --
Translating VDM to Alloy / Kenneth Lausdahl --
Verification of EB3 Specifications Using CADP / Dimitris Vekris [and others]. Invited Paper 2: Knowledge for the Distributed Implementation of Constrained Systems / Susanne Graf, Sophie Quinton --
Verification. Automated Anonymity Verification of the ThreeBallot Voting System / Murat Moran, James Heather, Steve Schneider --
Compositional Verification of Software Product Lines / Jean-Vivien Millo [and others] --
Deductive Verification of State-Space Algorithms / Frédéric Gava, Jean Fortin, Michael Guedj --
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus / Daisuke Ishii, Guillaume Melquiond, Shin Nakajima. Invited Paper 3: Priced Timed Automata and Statistical Model Checking / Kim Guldstrand Larsen --
Reachability and Model Checking. Improved Reachability Analysis in DTMC via Divide and Conquer / Songzheng Song [and others] --
Solving Games Using Incremental Induction / Andreas Morgenstern, Manuel Gesell, Klaus Schneider --
Model-Checking Software Library API Usage Rules / Fu Song, Tayssir Touili --
Formal Modelling and Verification of Population Protocols / Dominique Méry, Michael Poppleton --
Usability and Testing. Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing / Aymerick Savary, Marc Frappier, Jean-Louis Lanet --
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation / Rimvydas Rukšėnas, Paul Curzon, Michael D. Harrison --
Automatic Inference of Erlang Module Behaviour / Ramsay Taylor, Kirill Bogdanov, John Derrick --
Distributed Systems. Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms / Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh --
Quantified Abstractions of Distributed Systems / Elvira Albert [and others]. Invited Paper 4 An Algebraic Theory for Web Service Contracts / Cosimo Laneve, Luca Padovani --
Semantics. A Compositional Automata-Based Semantics for Property Patterns / Kalou Cabrera Castillos [and others] --
A Formal Semantics for Complete UML State Machines with Communications / Shuang Liu [and others] --
From Small-Step Semantics to Big-Step Semantics, Automatically / Ştefan Ciobâcă --
Program Equivalence by Circular Reasoning / Dorel Lucanu, Vlad Rusu --
System-Level Analysis. Structural Transformations for Data-Enriched Real-Time Systems / Ernst-Rüdiger Olderog, Mani Swaminathan --
Deadlock Analysis of Concurrent Objects: Theory and Practice / Elena Giachino [and others] --
Broadcast, Denial-of-Service, and Secure Communication / Roberto Vigo, Flemming Nielson, Hanne Riis Nielson --
Characterizing Fault-Tolerant Systems by Means of Simulation Relations / Ramiro Demasi [and others].
Series Title: Lecture notes in computer science, 7940.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: IFM 2013
Responsibility: Einar Broch Johnsen, Luigia Petre (eds.).
More information:

Abstract:

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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/844730917> # Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "844730917" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906164413#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/906164413#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/906164413#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/906164413#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://experiment.worldcat.org/entity/work/data/906164413#Thing/logic_design> ; # Logic design.
    schema:about <http://experiment.worldcat.org/entity/work/data/906164413#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/906164413#Topic/computing_methodologies> ; # Computing Methodologies
    schema:about <http://experiment.worldcat.org/entity/work/data/906164413#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/906164413#Topic/computer_systems> ; # Computer Systems
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:alternateName "IFM 2013" ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2013" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/906164413#Meeting/international_conference_on_integrated_formal_methods_10th_2013_turku_finland> ; # International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)
    schema:datePublished "2013" ;
    schema:description "This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis."@en ;
    schema:editor <http://viaf.org/viaf/14111454> ; # Luigia Petre
    schema:editor <http://experiment.worldcat.org/entity/work/data/906164413#Person/johnsen_einar_broch> ; # Einar Broch Johnsen
    schema:exampleOfWork <http://worldcat.org/entity/work/id/906164413> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Congresses"@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/906164413#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906164413#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906164413#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isSimilarTo <http://www.worldcat.org/oclc/856263567> ;
    schema:name "Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings"@en ;
    schema:productID "844730917" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/844730917#PublicationEvent/berlin_new_york_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/906164413#Agent/springer> ; # Springer
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3093022> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-38613-8> ;
    schema:workExample <http://worldcat.org/isbn/9783642386121> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-38613-8> ;
    schema:workExample <http://worldcat.org/isbn/9783642386138> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/844730917> ;
    .


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/906164413#Meeting/international_conference_on_integrated_formal_methods_10th_2013_turku_finland> # International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/906164413#Place/turku_finland> ; # Turku, Finland)
    schema:name "International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906164413#Person/johnsen_einar_broch> # Einar Broch Johnsen
    a schema:Person ;
    schema:familyName "Johnsen" ;
    schema:givenName "Einar Broch" ;
    schema:name "Einar Broch Johnsen" ;
    .

<http://experiment.worldcat.org/entity/work/data/906164413#Place/turku_finland> # Turku, Finland)
    a schema:Place ;
    schema:name "Turku, Finland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906164413#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/844730917> ; # Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/906164413#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/844730917> ; # Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/906164413#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/844730917> ; # Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/906164413#Thing/logic_design> # Logic design.
    a schema:Thing ;
    schema:name "Logic design." ;
    .

<http://experiment.worldcat.org/entity/work/data/906164413#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/906164413#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/906164413#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/906164413#Topic/computing_methodologies> # Computing Methodologies
    a schema:Intangible ;
    schema:name "Computing Methodologies"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/14111454> # Luigia Petre
    a schema:Person ;
    schema:birthDate "1974" ;
    schema:familyName "Petre" ;
    schema:givenName "Luigia" ;
    schema:name "Luigia Petre" ;
    .

<http://worldcat.org/isbn/9783642386121>
    a schema:ProductModel ;
    schema:isbn "3642386121" ;
    schema:isbn "9783642386121" ;
    .

<http://worldcat.org/isbn/9783642386138>
    a schema:ProductModel ;
    schema:isbn "364238613X" ;
    schema:isbn "9783642386138" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/844730917> ; # Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/856263567>
    a schema:CreativeWork ;
    rdfs:label "Integrated formal methods." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/844730917> ; # Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
    .

<http://www.worldcat.org/title/-/oclc/844730917>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/844730917> ; # Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
    schema:dateModified "2016-06-11" ;
    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.