Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2009) State-based behavior specification for GCM systems. In: Hustadt, Ullrich, (ed.) Proceedings of the utomated Reasoning Workshop 2009: bridging the gap between theory and practice (ARW 2009), 21st - 22nd April 2009, , Liverpool, United Kingdon. Technical Report (ULCS-09-007). Department of Computer Science, University of Liverpool, pp. 5-6.
Full text not available from this repository.
Official URL: http://www.csc.liv.ac.uk/research/techreports/tr20...
Abstract
This paper is in the area of automata-based formalisms of stateful systems. In particular, we have analyzed aspects of Grid systems which can be considered when developing a prototype for dynamic reconfiguration. We describe which parts of a Grid system can be utilized and translated into state-based formal specification, and how the subsequent deductive verification tests for the dynamic reconfiguration can be performed.
| Item Type: | Book Section |
|---|---|
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 7335 |
| Deposited On: | 25 Jan 2010 15:06 |
| Last Modified: | 25 Jan 2010 15:06 |
Repository Staff Only: item control page
