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

or

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.

More in Computer Science

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Paperback

RRP $74.95

$55.75

26%
OFF

Python Crash Course

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

Paperback

RRP $89.99

$64.99

28%
OFF

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Paperback

RRP $36.99

$29.75

20%
OFF

The Singularity is Nearer

When We Merge with AI

Paperback

RRP $26.99

$22.99

15%
OFF

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Paperback

RRP $36.99

$29.75

20%
OFF

The AI Con

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

Paperback

RRP $36.99

$29.75

20%
OFF

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$38.75

22%
OFF

Supremacy

AI, ChatGPT and the Race that Will Change the World

Paperback

RRP $24.99

$21.75

13%
OFF

Nexus

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

Paperback

RRP $29.99

$23.99

20%
OFF

Creative Machines

AI, Art & Us

Hardcover

RRP $57.95

$44.75

23%
OFF

New Beginnings

why change is so difficult and how to achieve it

Paperback

RRP $32.99

$26.99

18%
OFF

The Tech Coup

How to Save Democracy from Silicon Valley

Paperback

RRP $29.99

$26.75

11%
OFF

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Paperback

RRP $26.99

$22.99

15%
OFF

The Shortest History of AI

Paperback

RRP $27.99

$22.75

19%
OFF

Building Machine Learning Systems with a Feature Store : Batch, Real-Time, and LLM Systems - Jim Dowling

$99.75

25%
OFF

The Next Renaissance : AI and the Expansion of Human Potential - Zack Kass

$22.99

15%
OFF

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Paperback

RRP $24.99

$21.75

13%
OFF

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Harnessing the Potential of Artificial Intelligence to Promote Environmental Sustainability - Aniruddha Nag

$70.99

29%
OFF

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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Python Crash Course

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

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The Singularity is Nearer

When We Merge with AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The AI Con

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

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Supremacy

AI, ChatGPT and the Race that Will Change the World

Nexus

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

Creative Machines

AI, Art & Us

New Beginnings

why change is so difficult and how to achieve it

The Tech Coup

How to Save Democracy from Silicon Valley

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

The Shortest History of AI

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

Artificial Intelligence

A Modern Approach, 4th Global Edition

The Next Renaissance

AI and the Expansion of Human Potential

Python Workout, Second Edition

200 ten-minute exercises

Life 3.0

Being Human in the Age of Artificial Intelligence

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Python All-in-One For Dummies

3rd Edition

Harnessing the Potential of Artificial Intelligence to Promote Environmental Sustainability

Falter

Has the Human Game Begun to Play Itself Out?

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

This product is categorised by