1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.SE2021
A simple proof of three properties on Simpson's 4-slot Algorithm
Xu Wang, Qiwen Xu
In this paper we present an invariance proof of three properties on Simpson's 4-slot algorithm, i.e. data-race freedom, data coherence and data freshness, which together implies li…
cs.LO2013★ 1 cited
Revisiting Timed Specification Theory II : Realisability
Chris Chilton, Marta Kwiatkowska, Xu Wang
In this paper we present an assume-guarantee specification theory (aka interface theory from [14]) for modular synthesis and verification of real-time systems with critical timing…
cs.SE2012
Revisiting Timed Specification Theories: A Linear-Time Perspective
Chris Chilton, Marta Kwiatkowska, Xu Wang
We consider the setting of component-based design for real-time systems with critical timing constraints. Based on our earlier work, we propose a compositional specification theory…