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.99

or 4 interest-free payments of $41.00 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

The Explosive Child: Sixth Edition

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

Designing Data-Intensive Applications 2e

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Python Crash Course

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

Game AI Uncovered Focus

Character AI

Game AI Uncovered Focus

Character AI

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Python & AI For Dummies

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

MacBook Neo For Dummies

The Practical Guide

The Practical Guide

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Refactoring 2ed

Improving the Design of Existing Code

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Coding For Kids For Dummies

For Kids for Dummies

Videogame Architecture

Building Virtual Spaces

C++ Programming Language (hardcover), The

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

This product is categorised by