10 citations · 32 across the 26 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014★ 6 cited
Refinement Calculus of Reactive Systems
Viorel Preoteasa, Stavros Tripakis
Refinement calculus is a powerful and expressive tool for reasoning about sequential programs in a compositional manner. In this paper we present an extension of refinement calculu…
cs.FL2014
Synthesizing Finite-state Protocols from Scenarios and Requirements
Rajeev Alur, Milo Martin, Mukund Raghothaman +3
Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite…