Description |
1 online resource (xiv, 670 pages) : illustrations (some color) |
Series |
Lecture notes in computer science, 0302-9743 ; 6991 |
|
Lecture notes in computer science ; 6991. 0302-9743
|
Contents |
Machine generated contents note: Invited Talks -- Towards a Signal Calculus for Event-Based Synchronous Languages / He Jifeng -- Reasoning about Programs Using a Scientific Method / Peter W. O'Hearn -- Poirot -- A Concurrency Sleuth / Shaz Qadeer -- Formal Models -- Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems / Ursula Goltz -- Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP / Helen Treharne -- Safety-Critical Java Mission Model: A Formal Account / Andy Wellings -- Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications / Andreas Bollin -- Asynchronous Communication in MSVL / Zhenhua Duan -- Model Checking and Probability -- Verification of Orchestration Systems Using Compositional Partial Order Reduction / Jin Song Dong -- Domain-Driven Probabilistic Analysis of Programmable Logic Controllers / Ming Gu -- ̂ Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications / Joao Leite -- PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems / Xiaohong Li -- Specification and Development -- Integrating Prototyping into the SOFL Three-Step Modeling Approach / Shaoying Liu -- Deterministic Interpreter Simulating a Distributed Real Time System Using VDM / Nick Battle -- On Fitting a Formal Method Into Practice / Daniel Plagge -- Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems / Adel Guitouni -- Security -- Conformance Checking of Dynamic Access Control Policies / Andrew Simpson -- Knowledge-Based Verification Method for Dynamic Access Control Policies / Mark Ryan -- Validation of Security-Design Models Using Z / Akram Idani -- Formal Verification -- Mutation in Linked Data Structures / Andrew Ireland -- ̂ Contract-Based Verification of Simulink Models / Pontus Bostrom |
|
Note continued: Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units / Ping Gao -- Architectural Verification of Control Systems Using CSP / Luiz Grijo -- Symbolic Execution of Alloy Models / Sarfraz Khurshid -- Cyber Physical Systems -- Distributed Theorem Proving for Distributed Hybrid Systems / Andre Platzer -- Towards a Model Checker for NesC and Wireless Sensor Networks / Yu Gu -- Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks / Mohamed Abid -- Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres / Anders P. Ravn -- Event-B -- Formal Derivation of a Distributed Program in Event B / Alexander Romanovsky -- From Requirements to Development: Methodology and Example / Huibiao Zhu -- Reasoning about Liveness Properties in Event-B / Jean-Raymond Abrial -- Verification, Analysis and Testing -- ̂ Extracting Significant Specifications from Mining through Mutation Testing / Siau-Cheng Khoo -- Developer-Oriented Correctness Proofs: A Case Study of Cheneys Algorithm / Holger Gast -- Static Analysis of String Values / Agostino Cortesi -- Theory of Classes from the Theoretical Foundations of LePUS3 / Jonathan Nicholson -- Differencing Labeled Transition Systems / Jin Song Dong -- Refinement -- Developing a Consensus Algorithm Using Stepwise Refinement / Jeremy W. Bryans -- Refining Nodes and Edges of State Machines / Colin Snook -- Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures / David May -- Language for Test Case Refinement in the Test Template Framework / Pablo Rodriguez Monetti -- Theorem Proving and Rewriting -- Automating Algebraic Methods in Isabelle / Tjark Weber -- Term Rewriting in Logics of Partial Functions / Matthias Schmalz -- ̂ Synchronous AADL and Its Formal Analysis in Real-Time Maude / Jose Meseguer |
Summary |
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Computer software |
|
Programming Techniques |
|
Programming Languages, Compilers, Interpreters |
|
Algorithm Analysis and Problem Complexity |
|
Mathematical Logic and Formal Languages |
Bibliography |
Includes bibliographical references and index |
In |
Springer e-books |
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 |
Qin, Shengchao.
|
|
Qiu, Zongyan.
|
ISBN |
9783642245596 |
|
3642245595 |
|
3642245587 |
|
9783642245589 |
|