TY  - BOOK
AU  - Gheyi,Rohit
AU  - Naumann,David
ED  - Brazilian Symposium on Formal Methods
TI  - Formal methods: Foundations and applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings 
T2  - Lecture notes in computer science,
SN  - 9783642332968
AV  - QA76.9.F67 B73 2012
U1  - 004.01/51 23
PY  - 2012///
CY  - Berlin, New York
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Management information systems
KW  - Electronic Data Processing
KW  - Management Information Systems
KW  - Méthodes formelles (Informatique)
KW  - Congrès
KW  - Informatique
KW  - Systèmes d'information de gestion
KW  - eclas
KW  - fast
KW  - Formale Methode
KW  - gnd
KW  - Verifikation
KW  - Softwaretest
KW  - Modellgetriebene Entwicklung
KW  - Fehlertoleranz
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Information Systems
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Programming Languages, Compilers, Interpreters
KW  - Management of Computing and Information Systems
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and author index; The Versatile Synchronous Observer; John Rushby --; Thirteen Years of Automated Code Analysis at Microsoft; Wolfram Schulte --; Model Checking Propositional Deontic Temporal Logic via a [mu]-Calculus Characterization; Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro and Nazareno M. Aguirre --; An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting; Haniel Barbosa and David Déharbe --; 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 and Sérgio V.A. Campos --; BETA: A B Based Testing Approach; Ernesto C.B. de Matos and Anamaria Martins Moreira --; A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications; Gustavo Carvalho, Diogo Falcão, Alexandre Mota and Augusto Sampaio --; Specification Patterns for Properties over Reachable States of Graph Grammars; Simone André da Costa Cavalheiro, Luciana Foss and Leila Ribeiro --; Compositionality and Refinement in Model-Driven Engineering; Jim Davies, Jeremy Gibbons, David Milward and James Welch --; Identifying Hardware Failures Systematically; André Didier and Alexandre Mota --; Investigating Time Properties of Interrupt-Driven Programs; Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu and Shengchao Qin --; Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows; Germán Regis, Nicolás Ricci, Nazareno M. Aguirre and Tom Maibaum --; Composition of Model Transformations: A Categorical Framework; Christoph Schulz, Michael Löwe and Harald König --; Verification Rules for Exception Handling in Eiffel; Emil Sekerinski and Tian Zhang --; A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications; Subodh Sharma, Ganesh Gopalakrishnan and Greg Bronevetsky --; Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions; Dante Zanarini, Carlos Luna and Luis Sierra
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-642-33296-8
ER  -