Skip to main content
SpringerLink
Log in
Book cover

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Dimitra Giannakopoulou

    1. NASA Ames Research Center, Moffett Field, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dominique Méry

    1. Université de Lorraine LORIA, Vandoeuvre lès Nancy, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • Fast-track conference proceedings
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: FM 2012.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (38 papers)

  1. Front Matter

    Download chapter PDF

  2. Software Security: A Formal Perspective

    • Martín Abadi
    Pages 1-5

  3. Formal Methods in the Wild: Trains, Planes, & Automobile

    • Asaf Degani
    Pages 6-6

  4. Who Are We, and What Are We Doing Here?

    • Alan Wassyng
    Pages 7-9

  5. Automata Learning through Counterexample Guided Abstraction Refinement

    • Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits Vaandrager
    Pages 10-27

  6. Julienne: A Trace Slicer for Conditional Rewrite Theories

    • María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero
    Pages 28-32

  7. IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems

    • Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat
    Pages 33-36

  8. Maximal and Compositional Pattern-Based Loop Invariants

    • Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango
    Pages 37-51

  9. A Formal Approach to Autonomous Vehicle Coordination

    • Mikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhàn Clarke, Vinny Cahill
    Pages 52-67

  10. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

    • Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David Rydeheard
    Pages 68-84

  11. Decentralised LTL Monitoring

    • Andreas Bauer, Yliès Falcone
    Pages 85-100

  12. Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra

    • Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland
    Pages 101-115

  13. A Certified Constraint Solver over Finite Domains

    • Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
    Pages 116-131

  14. Collaborative Verification and Testing with Explicit Assumptions

    • Maria Christakis, Peter Müller, Valentin Wüstholz
    Pages 132-146

  15. TLA +  Proofs

    • Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
    Pages 147-154

  16. The Modal Transition System Control Problem

    • Nicolás D’Ippolito, Victor Braberman, Nir Piterman, Sebastián Uchitel
    Pages 155-170

  17. When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations

    • Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
    Pages 171-186

  18. Error Invariants

    • Evren Ermis, Martin Schäf, Thomas Wies
    Pages 187-201

  19. Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction

    • Mathieu Giorgino, Martin Strecker
    Pages 202-216

  20. A Formal Framework for Modelling Coercion Resistance and Receipt Freeness

    • James Heather, Steve Schneider
    Pages 217-231
Back to top

Other volumes

  1. FM 2012: Formal Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

Editors and Affiliations

  • NASA Ames Research Center, Moffett Field, USA

    Dimitra Giannakopoulou

  • Université de Lorraine LORIA, Vandoeuvre lès Nancy, France

    Dominique Méry

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation