Provably Correct Systems (NASA Monographs in Systems and Software Engineering)

  • Jul 30, 2017
  • Google
  • Others
  • 219


0 reviews

Published by Springer

Mar, 2017

328 pages

Description

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 workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems). 

The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.

The following topics are covered:

  • An historical account of the ProCoS project
  • Hybrid Systems
  • Correctness of Concurrent Algorithms
  • Interfaces and Linking
  • Automatic Verification
  • Run-time Assertions Checking
  • Formal and Semi-Formal Methods 
Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.

Publish

Title: Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
Language: English
Length: 328
Publisher: Springer
Publication Date: 2017-03-02
ISBN-13: 9783319486277
NOTICE: BOOK CONTENT AND LINKS HAVE COLLECTED FROM THE INTERNET, YOU MAY GET BROKEN LINK OR COPYRIGHT COMPLAINT. YOU CAN BUY THIS BOOK OR PLEASE MAIL TO daviddlinville at GMX dot COM TO REPORT

Tags

Recent BOOKS

Engineering Vibration, 4th Edition

Engineering Vibration, 4th Edition

  • Daniel J. Inman
  • September 2018
Macroeconomics, 5th Canadian Edtion

Macroeconomics, 5th Canadian Edtion

  • David W. Johnson
  • September 2018
Physical Geography, 9th Edition

Physical Geography, 9th Edition

  • Dorothy Sack
  • September 2018
Visual Anatomy & Physiology, 3rd Edition

Visual Anatomy & Physiology, 3rd Edition

  • Edwin F. Bartholomew
  • September 2018