Amazon cover image
Image from Amazon.com

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7940. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin ; New York : Springer, ©2013.Description: 1 online resource (xiii, 442 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642386138
  • 364238613X
  • 3642386121
  • 9783642386121
Other title:
  • IFM 2013
Subject(s): Genre/Form: Additional physical formats: Print version:: Integrated formal methods.DDC classification:
  • 004.01/51 23
LOC classification:
  • QA76.9.F67 .I58 2013
NLM classification:
  • QA 76.9.F67
Other classification:
  • 54.50
Online resources:
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].
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, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

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].

International conference proceedings.

Includes author index.

Includes bibliographical references and index.

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.

Print version record.

Powered by Koha