Title :
Reducing Component Systems´ Behavior Specification
Author :
Holub, Viliam ; Plasil, Frantisek
Author_Institution :
Charles Univ., Prague
Abstract :
Behavior verification of large component systems suffers of state explosion in particular when components involve parallel activities. For behavior protocols, a method of component behavior specification, we present a method of state space size reduction based on symbolic manipulation with the specification done by applying a set of reduction rules. A case study is presented showing that the specification size is often reduced to only a fraction of the original one.
Keywords :
formal specification; formal verification; symbol manipulation; behavior protocols; behavior verification; component behavior specification; component systems behavior specification; large component systems; symbolic manipulation; Algebra; Carbon capture and storage; Computer science; Explosions; Interleaved codes; Merging; Protocols; State-space methods; System recovery; Veins;
Conference_Titel :
Chilean Society of Computer Science, 2007. SCCC '07. XXVI International Conference of the
Conference_Location :
Iquique
Print_ISBN :
978-0-7695-3017-8
DOI :
10.1109/SCCC.2007.17
