Skip to main content
SpringerLink
Log in
Book cover

Integrated Formal Methods

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Jim Davies
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jeremy Gibbons
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4591)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: IFM 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Download chapter PDF

  2. Verifying Temporal Properties of CommUnity Designs

    • Nazareno Aguirre, Germán Regis, Tom Maibaum
    Pages 1-20

  3. Precise Scenarios – A Customer-Friendly Foundation for Formal Specifications

    • Oliver Au, Roger Stone, John Cooke
    Pages 21-36

  4. Automated Verification of Security Policies in Mobile Code

    • Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
    Pages 37-53

  5. Slicing Concurrent Real-Time System Specifications for Verification

    • Ingo Brückner
    Pages 54-74

  6. Slotted-Circus

    • Andrew Butterfield, Adnan Sherif, Jim Woodcock
    Pages 75-97

  7. Bug Hunting with False Negatives

    • Jens Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
    Pages 98-117

  8. Behavioural Specifications from Class Models

    • Alessandra Cavarra, James Welch
    Pages 118-137

  9. Inheriting Laws for Processes with States

    • Yifeng Chen
    Pages 138-155

  10. Probabilistic Timed Behavior Trees

    • Robert Colvin, Lars Grunske, Kirsten Winter
    Pages 156-175

  11. Guiding the Correction of Parameterized Specifications

    • Jean-François Couchot, Frédéric Dadeau
    Pages 176-194

  12. Proving Linearizability Via Non-atomic Refinement

    • John Derrick, Gerhard Schellhorn, Heike Wehrheim
    Pages 195-214

  13. Lifting General Correctness into Partial Correctness is ok

    • Steve Dunne, Andy Galloway
    Pages 215-232

  14. Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

    • Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans
    Pages 233-252

  15. Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks

    • Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader
    Pages 253-272

  16. Finding State Solutions to Temporal Logic Queries

    • Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
    Pages 273-292

  17. Qualitative Probabilistic Modelling in Event-B

    • Stefan Hallerstede, Thai Son Hoang
    Pages 293-312

  18. Verifying Smart Card Applications: An ASM Approach

    • Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
    Pages 313-332

  19. Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function

    • Osman Hasan, Sofiène Tahar
    Pages 333-352

  20. UTP Semantics for Web Services

    • He Jifeng
    Pages 353-372
Back to top

Other volumes

  1. Integrated Formal Methods

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation