Integrated Formal Methods

6th International Conference, Ifm 2007, Oxford, UK, July 2-5, 2007, Proceedings

By: Jim Davies (Editor), Jeremy Gibbons (Editor)

Write A Review

Paperback | 22 June 2007

At a Glance

Paperback
674 Pages

Dimensions(cm)
23.39 x 15.6 x 3.43

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

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 $0.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 Science Systems Analysis & Design Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Programming & Scripting Languages Mathematical Theory of Computation

Verifying temporal properties of CommUnity designs	p. 1
Precise scenarios - a customer-friendly foundation for formal specifications	p. 21
Automated verification of security policies in mobile code	p. 37
Slicing concurrent real-time system specications for verification	p. 54
Slotted-circus : a UTP-family of reactive theories	p. 75
Bug hunting with false negatives	p. 98
Behavioural specifications from class models	p. 118
Inheriting laws for processes with states	p. 138
Probabilistic timed behavior trees	p. 156
Guiding the correction of parameterized specifications	p. 176
Proving linearizability via non-atomic refinement	p. 195
Lifting general correctness into partial correctness is ok	p. 215
Verifying CSP-OZ-DC specifications with complex data types and timing parameters	p. 233
Modelling and verification of the LMAC protocol for wireless sensor networks	p. 253
Finding state solutions to temporal logic queries	p. 273
Qualitative probabilistic modelling in event-B	p. 293
Verifying smart card applications : an ASM approach	p. 313
Verification of probabilistic properties in HOL using the cumulative distribution function	p. 333
UTP semantics for Web services	p. 353
Combining mobility with state	p. 373
Algebraic approaches to formal analysis of the Mondex electronic purse system	p. 393
Capturing conflict and confusion in CSP	p. 413
A stepwise development process for reasoning about the reliability of real-time systems	p. 439
Decomposing integrated specifications for verification	p. 459
Validating Z specifications using the ProB animator and model checker	p. 480
Verification of multi-agent negotiations using the alloy analyzer	p. 501
Integrated static analysis for Linux device driver verification	p. 518
Integrating verification, testing, and learning for cryptographic protocols	p. 538
Translating FSP into LOTOS and networks of automata	p. 558
Common semantics for use cases and task models	p. 579
Unifying theories of objects	p. 599
Non-interference properties for data-type reduction of communicating systems	p. 619
Co-simulation of distributed embedded real-time control systems	p. 639
Table of Contents provided by Blackwell. All Rights Reserved.

Integrated Formal Methods

6th International Conference, Ifm 2007, Oxford, UK, July 2-5, 2007, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

Parallel Computing

Design and Analysis of Algorithms

Computer Architecture

A Modern Approach

Basic Computer Architecture

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Simply AI

Facts Made Fast

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Developing Graphics Frameworks with Java and OpenGL

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

System Design on AWS

Building and Scaling Enterprise Solutions

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

The Designer's Guide to VHDL, third edition

Volume 3

Architecture, Media, Archives

The Fun Palace of Joan Littlewood and Cedric Price as a Cultural Project

Program Architecture

Fight the Good Fight

500 YEARS AFTER LEONARDO DA VINCI MACHINES

Towards Innovation And Control

Computer Organization and Design RISC-V Edition

2nd Edition - The Hardware Software Interface

Handbook of Sociotechnical Systems

A Human Systems Integration Approach

Next Generation Blockchain for Next Generation Society with Futuristic Technologies

Transformative applied research

Breakthrough research in a changing world

Relevant Impact

A Field Guide to Integrated Assurance

Relevant Impact

A Field Guide to Integrated Assurance

This product is categorised by