Download or read book Formal Methods for Real-Time Computing written by Constance Heitmeyer and published by . This book was released on 1996-06-04 with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt: Focusing on formal methods, this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include program specification, formal methods, analyzing, and design of real-time systems. The book is essential reading for developers of safety critical systems and researchers in the field.