This book presents the refereed proceedings of the 14th International Symposium on Formal Methods， FM 2006， held in Hamilton， Canada in August 2006.The 36 revised full papers presented together with 2 invited contributions and extended abstracts of 7 invited industrial presentations were carefully reviewed and selected from 145 submissions. The papers are organized in topical sections on interactive verification， formal modelling of systems， real time， industrial experience， specification and refinement， programming languages， algebra， education， formal modelling of systems， formal aspects of java， model checking， and abstracts of invited talks from the industry day.
作者簡介
暫缺《FM 2006形式方法會議（會議錄）》作者簡介
圖書目錄
Invited Talk The Embedded Systems Design Challenge Interactive Verification The Mondex Challenge: Machine Checked Proofs for an Electronic Purse Interactive Verification of Medical Guidelines Certifying Airport Security Regulations Using the FocM Environment.. Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study Invited Talk Validating the Microsoft Hypervisor Formal Modelling of Systems Interface Input/Output Automata Properties of Behavioural Model Merging Automatic Translation from Circus to Java Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems Real Time Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ Towards Modularized Verification of Distributed Time-Triggered Systems Industrial Experience A Story About Formal Methods Adoption by a Railway Signaling Manufacturer Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach Specification and Refinement Compositional Class Refinement in Object-Z A Proposal for Records in Event-B Pointfree Factorization of Operation Refinement A Formal Template Language Enabling Metaproof Programming Languages Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (Best Paper) Type-Safe Two-Level Data Transformation Algebra Education Formal Modelling of Systems Formal Aspects of Java Programming Languages Model Checking industry Day: Abstracts of Invited Talks Author Index
鄂公網(wǎng)安備 42010302001612號 