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 Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, he

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to

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