Formal Methods: State of the Art and New Directions

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 1447157451
• ISBN13: 9781447157458
• Release Date: October 2014
• Publisher: Springer
• Length: 273 Pages
• Weight: 0.93 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"