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 7 to 10 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

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 Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Python Crash Course

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

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Teaching Critical Thinking to Teenagers

1st Edition - How Kids Can Be Street Smart about AI, Algorithms, Fake News and Social Media

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

What Art Is Now

Creativity in the Age of AI

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI in Business For Dummies

For Dummies (Business & Personal Finance)

AI Powered B2B Marketing

Develop AI Enabled Strategies and Practices for Maximum Impact

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

Python Workout, Second Edition

200 ten-minute exercises

Determining Provenance from Compositional Data

Elements in Current Archaeological Tools and Techniques

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Bandit Convex Optimisation

MRI in Practice

5th Edition

This product is categorised by