FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Jayadev Misra

Instant online reading.
Don't wait for delivery!
Go digital and save!

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

By: Jayadev Misra (Editor), Tobias Nipkow (Editor), Emil Sekerinski (Editor)

Write A Review

Paperback | 10 August 2006

At a Glance

Paperback
644 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$163.90

or 4 interest-free payments of $40.98 with

Ships in 5 to 7 business days

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Mathematics Mathematical Foundation Mathematical Logic Compilers & Interpreters

Invited Talk
The Embedded Systems Design Challenge	p. 1
Interactive Verification
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse	p. 16
Interactive Verification of Medical Guidelines	p. 32
Certifying Airport Security Regulations Using the Focal Environment	p. 48
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study	p. 64
Invited Talk
Validating the Microsoft Hypervisor	p. 81
Formal Modelling of Systems
Interface Input/Output Automata	p. 82
Properties of Behavioural Model Merging	p. 98
Automatic Translation from Circus to Java	p. 115
Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems	p. 131
Real Time
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++	p. 147
Towards Modularized Verification of Distributed Time-Triggered Systems	p. 163
Industrial Experience
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer	p. 179
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach	p. 190
Specification and Refinement
Compositional Class Refinement in Object-Z	p. 205
A Proposal for Records in Event-B	p. 221
Pointfree Factorization of Operation Refinement	p. 236
A Formal Template Language Enabling Metaproof	p. 252
Programming Languages
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (Best Paper)	p. 268
Type-Safe Two-Level Data Transformation	p. 284
Algebra
Feature Algebra	p. 300
Education
Using Domain-Independent Problems for Introducing Formal Methods	p. 316
Formal Modelling of Systems
Compositional Binding in Network Domains	p. 332
Formal Modeling of Communication Protocols by Graph Transformation	p. 348
Feature Specification and Static Analysis for interaction Resolution	p. 364
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice	p. 380
Formal Aspects of Java
Towards Automatic Exception Safety Verification	p. 396
Enforcer - Efficient Failure Injection	p. 412
Automated Boundary Test Generation from JML Specifications	p. 428
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic	p. 444
Programming Languages
Formal Verification of a C Compiler Front-End	p. 460
A Memory Model Sensitive Checker for C#	p. 476
Changing Programs Correctly: Refactoring with Specifications	p. 492
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic	p. 508
Model Checking
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking	p. 524
Exact and Approximate Strategies for Symmetry Reduction in Model Checking	p. 541
Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces	p. 557
PSL Model Checking and Run-Time Verification Via Testers	p. 573
Industry Day: Abstracts of Invited Talks
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline	p. 587
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche	p. 592
Connector-Based Software Development: Deriving Secure Protocols	p. 598
Model-Based Security Engineering for Real	p. 600
Cost Effective Software Engineering for Security	p. 607
Formal Methods and Cryptography	p. 612
Verified Software Grand Challenge	p. 617
Author Index	p. 619
Table of Contents provided by Ingram. All Rights Reserved.

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

Observability Engineering

Achieving Production Excellence

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Fundamentals of Computer Graphics

Quantum-Inspired Neural Networks

Future Perspectives and Challenges

5G Enabled Technology for Smart City and Urbanization System

Advanced Computing Techniques for Optimization in Cloud

Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series

Advances in Computational Intelligence for Health Informatics and Computer-Aided Diagnosis

Methods, Applications, and Tools

Advancing VLSI through Machine Learning

Innovations and Research Perspectives

Agile Security in the Digital Era

Challenges and Cybersecurity Trends

AI, Blockchain, and Metaverse in Hospitality and Tourism Industry 4.0

Case Studies and Analysis

AI for Climate Change and Environmental Sustainability

Artificial Intelligence for Sustainable Engineering and Management

Antennas for Industrial and Medical Applications with Optimization Techniques for Wireless Communication

Applied Swarm Intelligence

Approaches to Road Safety

Evolution, Challenges, and Emerging Technologies

Artificial Intelligence

Technical and Societal Advancements

Artificial Intelligence and Machine Learning Applications for Sustainable Development

Artificial Intelligence Techniques for Sustainable Development

Smart Engineering Systems: Design and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Automatic Generation Of Algorithms

Advances in Metaheuristics

Bio-inspired Algorithms in Machine Learning and Deep Learning for Disease Detection

Blockchain and Cryptocurrency

Management Systems and Technology Challenges

Blockchain for IoT Systems

Concept, Framework and Applications

Blockchain Technology in the Automotive Industry

This product is categorised by