| Description |
1 online resource (x, 243 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 8195 |
|
LNCS sublibrary, SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8195.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Meaningful Models / Christiano Braga, Cássio Santos -- Deductive Generalization / Kenneth L. McMillan -- Unifying Theories of Logic and Specification / Victor Bandur, Jim Woodcock -- Institution-Based Semantics for MOF and QVT-Relations / Daniel Calegari, Nora Szasz -- Derivation and Verification of Parallel Components for the Needs of an HPC Cloud / Thiago Braga Marcilon -- An Executable Semantics for a Multimedia Authoring Language / Joel dos Santos, Christiano Braga -- On the Use of SPIN for Studying the Behavior of Nested Petri Nets / Mirtha Lina Fernández Venero -- Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking / Christoph Gladisch, Shmuel Tyszberowicz -- Toward the Revision of CTL Models through Kripke Modal Transition Systems / Paulo T. Guerra, Aline Andrade -- Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy / Ghassen Helali, Osman Hasan, Sofiène Tahar -- Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations / Luiz Carlos Lemos Junior -- A Refinement Framework for Autonomous Agents / Qin Li, Graeme Smith -- A Formal Semantics for SysML Activity Diagrams / Lucas Lima, André Didier, Márcio Cornélio -- Formal Analysis of Memory Contention in a Multiprocessor System / Liya Liu, Osman Hasan, Sofiène Tahar -- Algebraic Graph Transformations with Inheritance / Michael Löwe, Harald König, Christoph Schulz -- Generating Protocol Software from CPN Models Annotated with Pragmatics / Kent Inge Fagerland Simonsen |
| Summary |
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. 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 |
| Notes |
International conference proceedings |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed September 3, 2013) |
| Subject |
Formal methods (Computer science) -- Congresses
|
|
Computing Methodologies
|
|
Formal methods (Computer science)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Iyoda, Juliano, editor
|
|
Moura, Leonardo de, editor
|
| ISBN |
9783642410710 |
|
3642410715 |
|
3642410707 |
|
9783642410703 |
|
