Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /

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 ke...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gheyi, Rohit (Editor ), Naumann, David (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7498
Temas:
Software engineering.
Computer science.
Machine theory.
Compilers (Computer programs).
Electronic data processing-Management.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Compilers and Interpreters.
IT Operations.
Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • The Versatile Synchronous Observer.-Ten 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.-Refinement, Compositionality, and 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
  • Sound reduction of persistent sets for deadlock detection in MPI applications
  • Alternating-time Temporal Logic in the Calculus of (Co)Inductive Co.

Ejemplares similares