Description |
1 online resource (xiii, 442 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 7940 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7940.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
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 |
Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Logics and Meanings of Programs |
|
Programming Languages, Compilers, Interpreters |
|
Mathematical Logic and Formal Languages |
|
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
International conference proceedings |
|
Includes author index |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Formal methods (Computer science) -- Congresses
|
|
Software engineering -- Congresses
|
|
Computer systems.
|
|
Computing Methodologies
|
|
Computer Systems
|
|
Computer systems
|
|
Formal methods (Computer science)
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Johnsen, Einar Broch, editor
|
|
Petre, Luigia, 1974- editor.
|
ISBN |
9783642386138 |
|
364238613X |
|
3642386121 |
|
9783642386121 |
|