This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, he

This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, hel

This dissertation presents methods for the formal modeling and specification of probabilistic systems, and algorithms for the automated verification of these sy

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book

Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pen