1 citations · 1 across the 1 of their papers we have counts for
2 papers
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…