| Description |
1 online resource (xii, 360 pages) : illustrations |
| Series |
Lecture notes in computer science, 1611-3349 ; 7321 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7321. 1611-3349
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management / Muffy Calder and Michele Sevegnani -- Translating TLA+ to B for Validation with ProB / Dominik Hansen and Michael Leuschel -- Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands / Brijesh Dongol and Ian J. Hayes -- Safety and Line Capacity in Railways -- An Approach in Timed CSP / Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen and Markus Roggenbach -- Refinement-Based Development of Timed Systems / Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos and Jüri Vain -- Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports / Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder and Naresh Ramaram -- Model Checking as Static Analysis: Revisited / Fuyuan Zhang, Flemming Nielson and Hanne Riis Nielson -- Formal Verification of Compiler Transformations on Polychronous Equations / Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic and Loïc Besnard -- Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples / Herbert Rocha, Raimundo Barreto, Lucas Cordeiro and Arilo Dias Neto -- MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis / Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe and Ilangko Balasingham -- Mechanized Extraction of Topology Anti-patterns in Wireless Networks / Matthias Woehrle, Rena Bakhshi and Mohammad Reza Mousavi -- A Proof Framework for Concurrent Programs / Leonard Lensink, Sjaak Smetsers and Marko van Eekelen -- A UTP Semantics of pGCL as a Homogeneous Relation / Riccardo Bresciani and Andrew Butterfield -- Behaviour-Based Cheat Detection in Multiplayer Games with Event-B / HaiYun Tian, Phillip J. Brooke and Anne-Gwenn Bosser -- Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems / Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere and Gheorghe Stefanescu -- Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis -- Partially-Supervised Plants: Embedding Control Requirements in Plant Components / Jasen Markovski, Dirk A. van Beek and Jos Baeten -- Early Fault Detection in Industry Using Models at Various Abstraction Levels / Jozef Hooman, Arjan J. Mooij and Hans van Wezep -- PE-KeY: A Partial Evaluator for Java Programs / Ran Ji and Richard Bubel -- Specification-Driven Unit Test Generation for Java Generic Classes / Francisco Rebello de Andrade, João P. Faria, Antónia Lopes and Ana C.R. Paiva -- Specifying UML Protocol State Machines in Alloy / Ana Garis, Ana C.R. Paiva, Alcino Cunha and Daniel Riesco -- Patterns for a Log-Based Strengthening of Declarative Compliance Models / Dennis M.M. Schunselaar, Fabrizio M. Maggi and Natalia Sidorova -- A Formal Interactive Verification Environment for the Plan Execution Interchange Language / Camilo Rocha, Héctor Cadavid, César Muñoz and Radu Siminiceanu |
| Summary |
Annotation This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies |
| Analysis |
Computer science |
|
Software engineering |
|
Computer software |
|
Logic design |
|
Logics and Meanings of Programs |
|
Programming Languages, Compilers, Interpreters |
|
Mathematical Logic and Formal Languages |
|
Programming Techniques |
|
Algorithm Analysis and Problem Complexity |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed August 10, 2012) |
| Subject |
Formal methods (Computer science) -- Congresses
|
|
Software engineering -- Congresses
|
|
Informatique.
|
|
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 |
Derrick, John, 1963- editor.
|
| ISBN |
9783642307294 |
|
3642307299 |
|
9783642307423 |
|
3642307426 |
|
3642307280 |
|
9783642307287 |
|
