Refinement and Verification of Real-Time Systems

Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer +1

This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f…