Download or read book Modal and Temporal Properties of Processes written by Colin Stirling and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 199 pages. Available in PDF, EPUB and Kindle. Book excerpt: In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.