Skip to main content
SpringerLink
Log in

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Jim Davies

    1. Department of Computer Science, Oxford University, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Leila Silva

    1. Departamento de Ciência da Computação e Estatística, Universidade Federal de Sergipe, Aracaju, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Adenilso Simao

    1. Avenida Frabalhador, são-carlense, São Carlos, Brazil

    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 report

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

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

Included in the following conference series:

Conference proceedings info: SBMF 2010.

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 (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Directed Model Checking for B: An Evaluation and New Techniques

    • Michael Leuschel, Jens Bendisposto
    Pages 1-16

  3. Midlet Navigation Graphs in JML

    • Wojciech Mostowski, Erik Poll
    Pages 17-32

  4. Runtime Verification for Generic Classes with ConGu 2

    • Pedro Crispim, Antónia Lopes, Vasco T. Vasconcelos
    Pages 33-48

  5. A High-Level Language for Modeling Algorithms and Their Properties

    • Sabina Akhtar, Stephan Merz, Martin Quinson
    Pages 49-63

  6. A Formal Environment Model for Multi-Agent Systems

    • Paulo Salem da Silva, Ana C. V. de Melo
    Pages 64-79

  7. A Modal Interface Theory with Data Constraints

    • Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit
    Pages 80-95

  8. Synchronizing Model and Program Refactoring

    • Tiago Massoni, Rohit Gheyi, Paulo Borba
    Pages 96-111

  9. A Type-Theoretic Framework for Certified Model Transformations

    • Daniel Calegari, Carlos Luna, Nora Szasz, Álvaro Tasistro
    Pages 112-127

  10. Simulating Truly Concurrent CSP

    • Moritz Kleine, J. W. Sanders
    Pages 128-143

  11. Statistical Verification of Probabilistic Properties with Unbounded Until

    • Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani
    Pages 144-160

  12. Reasoning about Assignments in Recursive Data Structures

    • Alejandro Tamalet, Ken Madlener
    Pages 161-176

  13. Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned

    • Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
    Pages 177-193

  14. A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence

    • Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer
    Pages 194-209

  15. Formal Development of a Cardiac Pacemaker: From Specification to Code

    • Artur O. Gomes, Marcel V. M. Oliveira
    Pages 210-225

  16. A Decision Procedure for Bisimilarity of Generalized Regular Expressions

    • Marcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan Rutten, Alexandra Silva
    Pages 226-241

  17. Normalization of Linear Horn Clauses

    • Thomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma
    Pages 242-257

  18. A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs

    • Zhiming Liu, Charles Morisset, Shuling Wang
    Pages 258-273

  19. Automating Refinement of Circus Programs

    • Frank Zeyda, Ana Cavalcanti
    Pages 274-290

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods: Foundations and Applications

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Editors and Affiliations

  • Department of Computer Science, Oxford University, Oxford, UK

    Jim Davies

  • Departamento de Ciência da Computação e Estatística, Universidade Federal de Sergipe, Aracaju, Brazil

    Leila Silva

  • Avenida Frabalhador, são-carlense, São Carlos, Brazil

    Adenilso Simao

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation