[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Formal Methods: Foundations and Applications

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Rohit Gheyi

    1. Departamento de Sistemas e Computacao, Universidade Federal de Campina Grande, Campina Grande, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Naumann

    1. Department of Computer Science, Stevens Institute of Technology, Hoboken, USA

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

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

Included in the following conference series:

Conference proceedings info: SBMF 2012.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
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 refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.

Similar content being viewed by others

Keywords

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. The Versatile Synchronous Observer

    • John Rushby
    Pages 1-1

  3. Thirteen Years of Automated Code Analysis at Microsoft

    • Wolfram Schulte
    Pages 2-2

  4. Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization

    • Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno M. Aguirre
    Pages 3-18

  5. An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting

    • Haniel Barbosa, David Déharbe
    Pages 19-34

  6. Palytoxin Inhibits the Sodium-Potassium Pump – An Investigation of an Electrophysiological Model Using Probabilistic Model Checking

    • Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio V. A. Campos
    Pages 35-50

  7. BETA: A B Based Testing Approach

    • Ernesto C. B. de Matos, Anamaria Martins Moreira
    Pages 51-66

  8. A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications

    • Gustavo Carvalho, Diogo Falcão, Alexandre Mota, Augusto Sampaio
    Pages 67-82

  9. Specification Patterns for Properties over Reachable States of Graph Grammars

    • Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro
    Pages 83-98

  10. Compositionality and Refinement in Model-Driven Engineering

    • Jim Davies, Jeremy Gibbons, David Milward, James Welch
    Pages 99-114

  11. Identifying Hardware Failures Systematically

    • André Didier, Alexandre Mota
    Pages 115-130

  12. Investigating Time Properties of Interrupt-Driven Programs

    • Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
    Pages 131-146

  13. Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows

    • Germán Regis, Nicolás Ricci, Nazareno M. Aguirre, Tom Maibaum
    Pages 147-162

  14. Composition of Model Transformations: A Categorical Framework

    • Christoph Schulz, Michael Löwe, Harald König
    Pages 163-178

  15. Verification Rules for Exception Handling in Eiffel

    • Emil Sekerinski, Tian Zhang
    Pages 179-193

  16. A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications

    • Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
    Pages 194-209

  17. Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions

    • Dante Zanarini, Carlos Luna, Luis Sierra
    Pages 210-225

  18. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods: Foundations and Applications

Editors and Affiliations

  • Departamento de Sistemas e Computacao, Universidade Federal de Campina Grande, Campina Grande, Brazil

    Rohit Gheyi

  • Department of Computer Science, Stevens Institute of Technology, Hoboken, USA

    David Naumann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation