Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification....

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Leue, Stefan (Editor ), Merino, Pedro (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 4916
Temas:
Computer science.
Software engineering.
Compilers (Computer programs).
Computers, Special purpose.
Theory of Computation.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Special Purpose and Application-Based Systems.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Presentations
  • Verification of Embedded Software: From Mars to Actions
  • Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel
  • Research Papers
  • Static Analysis of the Accuracy in Control Systems: Principles and Experiments
  • Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code
  • Checking the TWIN Elevator System by Translating Object-Z to SMV
  • Introducing Time in an Industrial Application of Model-Checking
  • Integration of Formal Analysis into a Model-Based Software Development Process
  • Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler
  • Computing Worst-Case Response Times in Real-Time Avionics Applications
  • Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
  • An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
  • Model Classifications and Automated Verification
  • An Approach to Formalization and Analysis of Message Passing Libraries
  • Analysis of a Session-Layer Protocol in mCRL2
  • Automatic Certification of Java Source Code in Rewriting Logic
  • Reverse Engineered Formal Models for GUI Testing
  • Automatic Interoperability Test Case Generation Based on Formal Definitions.

Ejemplares similares