Formal Methods

The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the ...

Formal Methods

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity. The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods for analysing the behaviour of programs in various ways ranging from verification, via program analysis and language-based security, to model checking. The remaining chapters present language extensions with procedures and concurrency and cover their semantics. The book is suitable for advanced undergraduate and graduate courses in software development, and the text is supported throughout with exercises of varying grades of difficulty. The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the development using the functional language F#.

More Books:

Formal Methods
Language: en
Pages: 160
Authors: Flemming Nielson, Hanne Riis Nielson
Categories: Computers
Type: BOOK - Published: 2019-07-16 - Publisher: Springer

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality
Formal Methods in Software and Systems Modeling
Language: en
Pages: 420
Authors: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
Categories: Mathematics
Type: BOOK - Published: 2005-02-09 - Publisher: Springer Science & Business Media

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific
Understanding Formal Methods
Language: en
Pages: 275
Authors: Jean-Francois Monin, M.G. Hinchey
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Springer Science & Business Media

This volume provides a comprehensive introduction to the field of formal methods for students and practitioners. It strikes a careful balance between rigorous exposition of the underlying mathematics and concrete examples of implementations using real-life tools, thus making it easy to grasp the underlying concepts and theories. It does not
NASA Formal Methods
Language: en
Pages: 470
Authors: Aaron Dutle, César Muñoz, Anthony Narkawicz
Categories: Computers
Type: BOOK - Published: 2018-04-06 - Publisher: Springer

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques
NASA Formal Methods
Language: en
Pages: 534
Authors: Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Categories: Computers
Type: BOOK - Published: 2011-04-06 - Publisher: Springer

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141