Provably Correct Systems

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hinchey, Mike (Editor), Bowen, Jonathan P. (Editor), Olderog, Ernst-Rüdiger (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: NASA Monographs in Systems and Software Engineering,
• Subjects: Computer science.; Computer programming.; Computer logic.; Mathematical logic.; Computers.; Computer Science.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Models and Principles.; Programming Techniques.

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a...