Verifying an intelligent structural control system: A case study. Elseaidy, W., Cleaveland, R., & Baugh Jr., J. In Proceedings - Real-Time Systems Symposium, pages 271-275, 1994. abstract bibtex Describes the formal verification of the timing properties of the design of an intelligent structural control system using the Concurrency Workbench, an automatic verification tool for finite-state processes. The high-level design of the system is first given in Modechart, a graphical specification language for real-time systems, and then translated into a temporal process algebra supported by the Workbench. The facilities provided by this tool are then used to analyze the system and ultimately show it to be correct. © 1994 IEEE.
@inProceedings{
title = {Verifying an intelligent structural control system: A case study},
type = {inProceedings},
year = {1994},
identifiers = {[object Object]},
pages = {271-275},
id = {1d0e05a9-2eb0-385d-b2b5-901d2b64bc89},
created = {2016-02-17T15:26:27.000Z},
file_attached = {false},
profile_id = {2a520ab8-915c-3c45-ac68-153534007f56},
last_modified = {2016-02-17T15:26:27.000Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {false},
hidden = {false},
abstract = {Describes the formal verification of the timing properties of the design of an intelligent structural control system using the Concurrency Workbench, an automatic verification tool for finite-state processes. The high-level design of the system is first given in Modechart, a graphical specification language for real-time systems, and then translated into a temporal process algebra supported by the Workbench. The facilities provided by this tool are then used to analyze the system and ultimately show it to be correct. © 1994 IEEE.},
bibtype = {inProceedings},
author = {Elseaidy, W.M. and Cleaveland, R. and Baugh Jr., J.W.},
booktitle = {Proceedings - Real-Time Systems Symposium}
}