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