The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Revisiting Timed Specification Theory II : Realisability
[article]
2013
arXiv
pre-print
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 constraints. It is a further step of our earlier work [10] which achieved an elegant algebraic specification theory for real-time systems endowed with the capability to freeze time. In this paper we relinquish such (unrealisable) capability and target more realistic systems without the ability to stop time. Our
arXiv:1304.7590v1
fatcat:bjlhy3gyabbofnq7hbv2tmy6ne