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: Electronic books
Conference proceedings
Congresses
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


<http://www.worldcat.org/oclc/844730917>
library:oclcnum"844730917"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: dct
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"IFM 2013"@en
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:copyrightYear"2013"
schema:creator
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:exampleOfWork<http://worldcat.org/entity/work/id/1371525388>
schema:genre"Electronic books"@en
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:isPartOf
schema:isPartOf
schema:name"Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings"@en
schema:publication
schema:publisher
schema:url
schema:workExample
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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