Limit search to available items
Book Cover
E-book
Author Brazilian Symposium on Formal Methods (16th : 2013 : Brasilia, Brazil)

Title Formal methods: foundations and applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / Juliano Iyoda, Leonardo de Moura (eds.)
Published Heidelberg : Springer, [2013]
©2013

Copies

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 Electronic books
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
Other Titles SBMF 2013