Provably Correct Systems

  • Jul 30, 2017
  • Google
  • Others
  • 207
Ca11f10c1566780052c82233f23b4141


0 reviews

Jul, 2017

Description

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. 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
Language: English
Publication Date: 2017-07-30
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