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 $89.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

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Agentic Mesh

The Genai-Powered Autonomous Agent Ecosystem

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Fun Python GUI Projects in easy steps

In Easy Steps

Python Crash Course

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

Starting Out with Python

5th Global Edition

Digital Design using VerilogHDL

VLSI Modeling, Coding & Verification

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

Python Practice Lab

Learn How to Code through Interactive Examples

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Areas of Success for AI

Third Annual Workshop, Embry-Riddle L. H. Harper Memorial AI Workshop 2025, Prescott, AZ, USA, August 15-16, 2025, Proceedings

Neural Networks

Overview of Current Theories and Applications

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

Digital Innovation and Organizational Transformation

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol. 2

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, AI, Cloud, and Microservices

Artificial Intelligence, Cybersecurity and Game Design

ICAICG 2024, Rajapalayam, India, February 23â"25

Advances in Computational Intelligence. MICAI 2025 International Workshops

HIS 2025, CIAPP 2025, WILE 2025, CHARAL 2025, ECSI 2025 Workshops, Guanajuato, Mexico, November 3â"7, 2025, Proceedings, Part I

Fit for Uncertainty

Lead with Purpose, Adapt to Change

The Ghidra Book, 2nd Edition

The Definitive Guide

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

The C Programming Language

Prentice Hall Software

Think Python

How to Think Like a Computer Scientist

Fundamentals of Python

3rd Edition - First Programs

This product is categorised by