Formal Methods: State of the Art and New Directions

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental contr...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Boca, Paul (Editor ), Bowen, Jonathan P. (Editor ), Siddiqi, Jawed (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Temas:
Software engineering.
Machine theory.
Compilers (Computer programs).
Software Engineering.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Domain Engineering
  • Program Verification and System Dependability
  • The Abstract State Machines Method for High-Level System Design and Analysis
  • Applications and Methodology of ?Z
  • The Computer Ate My Vote
  • Formal Methods for Biochemical Signalling Pathways
  • Separation Logic and Concurrency
  • Programming Language Description Languages.

Ejemplares similares