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