Amazon cover image
Image from Amazon.com

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings / Lindsay Groves, Jing Sun (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 8144. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Description: 1 online resource (xviii, 466 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642412028
  • 3642412025
  • 3642412017
  • 9783642412011
Other title:
  • ICFEM 2013
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 004.0151 23
LOC classification:
  • QA76.9.F67
NLM classification:
  • QA 76.9.F67
Other classification:
  • 54.52
Online resources:
Contents:
Keynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic / Carroll C. Morgan -- Specification -- Algebraic Laws for Process Subtyping / José Dihego, Pedro Antonino and Augusto Sampaio -- Boundness Issues in CCSL Specifications / Frédéric Mallet and Jean-Viven Millo -- Mining Dataflow Sensitive Specifications / Zhiqiang Zuo and Siau-Cheng Khoo -- Proof -- A Proof Slicing Framework for Program Verification / Ton Chanh Le [and others] -- Formally Verified System Initialisation / Andrew Boyton [and others] -- Verifying an Aircraft Proximity Characterization Method in Coq / Dongxi Liu [and others] -- Testing -- Assisting Specification Refinement by Random Testing / Mengjun Li -- Generation of Checking Sequences Using Identification Sets / Faimison Rodrigues Porto, Andre Takeshi Endo and Adenilso Simao -- The Circus Testing Theory Revisited in Isabelle/HOL / Abderrahmane Feliachi [and others].
Timed Systems -- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification / Gustavo Carvalho, Augusto Sampaio and Alexandre Mota -- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts / Yanhong Huang [and others] -- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction / Yuanjie Si [and others] -- Concurrency -- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems / Étienne André [and others] -- A UTP Semantics for Communicating Processes with Shared Variables / Ling Shi [and others] -- Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions / Duy-Khanh Le, Wei-Ngan Chin and Yong-Meng Teo -- SysML/MDD -- Formal Models of SysML Blocks / Alvaro Miyazawa, Lucas Lima and Ana Cavalcanti -- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML / Jaco Jacobs and Andrew Simpson.
Translation from Workflow Nets to MSVL / Ya Shi, Zhenhua Duan and Cong Tian -- Verification -- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems / Guoxin Su and David S. Rosenblum -- Verification of Functional and Non-functional Requirements of Web Service Composition / Manman Chen [and others] -- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems / Jianan Hao [and others] -- Application -- Formal Kinematic Analysis of the Two-Link Planar Manipulator / Binyameen Farooq, Osman Hasan and Sohail Iqbal -- Formal Modelling of Resilient Data Storage in Cloud / Inna Pereverzeva [and others] -- Linking Operational Semantics and Algebraic Semantics for Wireless Networks / Xiaofeng Wu and Huibiao Zhu -- Static Analysis -- Automated Specification Discovery via User-Defined Predicates / Guanhua He [and others] -- Path-Sensitive Data Flow Analysis Simplified / Kirsten Winter [and others] -- Reconstructing Paths for Reachable Code / Stephan Arlt, Zhiming Liu and Martin Schäf -- The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software / Giulia Costantini [and others].
Summary: This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Keynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic / Carroll C. Morgan -- Specification -- Algebraic Laws for Process Subtyping / José Dihego, Pedro Antonino and Augusto Sampaio -- Boundness Issues in CCSL Specifications / Frédéric Mallet and Jean-Viven Millo -- Mining Dataflow Sensitive Specifications / Zhiqiang Zuo and Siau-Cheng Khoo -- Proof -- A Proof Slicing Framework for Program Verification / Ton Chanh Le [and others] -- Formally Verified System Initialisation / Andrew Boyton [and others] -- Verifying an Aircraft Proximity Characterization Method in Coq / Dongxi Liu [and others] -- Testing -- Assisting Specification Refinement by Random Testing / Mengjun Li -- Generation of Checking Sequences Using Identification Sets / Faimison Rodrigues Porto, Andre Takeshi Endo and Adenilso Simao -- The Circus Testing Theory Revisited in Isabelle/HOL / Abderrahmane Feliachi [and others].

Timed Systems -- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification / Gustavo Carvalho, Augusto Sampaio and Alexandre Mota -- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts / Yanhong Huang [and others] -- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction / Yuanjie Si [and others] -- Concurrency -- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems / Étienne André [and others] -- A UTP Semantics for Communicating Processes with Shared Variables / Ling Shi [and others] -- Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions / Duy-Khanh Le, Wei-Ngan Chin and Yong-Meng Teo -- SysML/MDD -- Formal Models of SysML Blocks / Alvaro Miyazawa, Lucas Lima and Ana Cavalcanti -- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML / Jaco Jacobs and Andrew Simpson.

Translation from Workflow Nets to MSVL / Ya Shi, Zhenhua Duan and Cong Tian -- Verification -- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems / Guoxin Su and David S. Rosenblum -- Verification of Functional and Non-functional Requirements of Web Service Composition / Manman Chen [and others] -- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems / Jianan Hao [and others] -- Application -- Formal Kinematic Analysis of the Two-Link Planar Manipulator / Binyameen Farooq, Osman Hasan and Sohail Iqbal -- Formal Modelling of Resilient Data Storage in Cloud / Inna Pereverzeva [and others] -- Linking Operational Semantics and Algebraic Semantics for Wireless Networks / Xiaofeng Wu and Huibiao Zhu -- Static Analysis -- Automated Specification Discovery via User-Defined Predicates / Guanhua He [and others] -- Path-Sensitive Data Flow Analysis Simplified / Kirsten Winter [and others] -- Reconstructing Paths for Reachable Code / Stephan Arlt, Zhiming Liu and Martin Schäf -- The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software / Giulia Costantini [and others].

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

Online resource; title from PDF title page (SpringerLink, viewed October 28, 2013).

Includes bibliographical references and index.

Powered by Koha