Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Formal Methods: Foundations and Applications

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Marcel Vinícius Medeiros Oliveira

    1. Departamento de Informática e Matemática Aplicada, Universidade Federal do Rio Grande do Norte, Lagoa Nova Natal, Brasil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jim Woodcock

    1. Department of Computer Science, University of York, Heslington, York, UK

    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 5902)

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

Included in the following conference series:

Conference proceedings info: SBMF 2009.

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

Access this book

Log in via an institution
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

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

Similar content being viewed by others

Keywords

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Speeding Up Simulation of SystemC Using Model Checking

    • Nicolas Blanc, Daniel Kroening
    Pages 1-16

  3. Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering

    • Sebastian Uchitel
    Pages 17-22

  4. Satisfiability Modulo Theories: An Appetizer

    • Leonardo de Moura, Nikolaj Bjørner
    Pages 23-36

  5. Interruption Testing of Reactive Systems

    • Wilkerson L. Andrade, Patrícia D. L. Machado
    Pages 37-53

  6. Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS

    • Wilkerson L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida
    Pages 54-69

  7. Concurrent Models of Flash Memory Device Behaviour

    • Andrew Butterfield, Art Ó Catháin
    Pages 70-83

  8. Corecursive Algebras: A Study of General Structured Corecursion

    • Venanzio Capretta, Tarmo Uustalu, Varmo Vene
    Pages 84-100

  9. Formalizing FreeRTOS: First Steps

    • David Déharbe, Stephenson Galvão, Anamaria Martins Moreira
    Pages 101-117

  10. A Mechanized Strategy for Safe Abstraction of CSP Specifications

    • Adriana Damasceno, Adalberto Farias, Alexandre Mota
    Pages 118-133

  11. Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B

    • Kriangsak Damchoom, Michael Butler
    Pages 134-152

  12. An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model

    • Miguel Alexandre Ferreira, José Nuno Oliveira
    Pages 153-169

  13. Towards Safe Design of Synchronous Bus Protocols in Event-B

    • Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali
    Pages 170-185

  14. Mechanising Data-Types for Kernel Design in Z

    • Leo Freitas
    Pages 186-203

  15. A Complete Set of Object Modeling Laws for Alloy

    • Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio
    Pages 204-219

  16. Undecidability Results for Distributed Probabilistic Systems

    • Sergio Giro
    Pages 220-235

  17. Formalisation and Analysis of Objects as CSP Processes

    • Renata Kaufman, Augusto Sampaio, Alexandre Mota
    Pages 236-250

  18. Concolic Testing of the Multi-sector Read Operation for Flash Memory File System

    • Moonzoo Kim, Yunho Kim
    Pages 251-265

  19. Low-Level Code Verification Based on CSP Models

    • Moritz Kleine, Steffen Helke
    Pages 266-281

  20. Formal Modelling of a Microcontroller Instruction Set in B

    • Valério Medeiros Jr., David Déharbe
    Pages 282-289
Back to top

Other volumes

  1. Formal Methods: Foundations and Applications

Editors and Affiliations

  • Departamento de Informática e Matemática Aplicada, Universidade Federal do Rio Grande do Norte, Lagoa Nova Natal, Brasil

    Marcel Vinícius Medeiros Oliveira

  • Department of Computer Science, University of York, Heslington, York, UK

    Jim Woodcock

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation