Specification Theories for Probabilistic and Real-Time Systems

Abstract

Abstract. We survey extensions of modal transition systems to specification theories for probabilistic and timed systems.

Parametric and Quantitative Extensions of Modal Transition Systems

“…The second extension, weighted modal transition systems [1,2] permits to reason on systems whose behaviors depend on quantities. Another paper in this volume [11] will be concerned with other extensions of modal transition systems which are more closely related to applications.…”