DocumentCode
2328745
Title
Reducing Component Systems´ Behavior Specification
Author
Holub, Viliam ; Plasil, Frantisek
Author_Institution
Charles Univ., Prague
fYear
2007
fDate
8-9 Nov. 2007
Firstpage
63
Lastpage
72
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Chilean Society of Computer Science, 2007. SCCC '07. XXVI International Conference of the
Conference_Location
Iquique
ISSN
1522-4902
Print_ISBN
978-0-7695-3017-8
Type
conf
DOI
10.1109/SCCC.2007.17
Filename
4396978
Link To Document