Parametric and Quantitative Extensions of Modal Transition Systems
Abstract
Modal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal transition systems: parametric modal transition systems for specifications with parameters, and weighted modal transition systems for quantitative specifications.
Origin : Files produced by the author(s)
Loading...