DocumentCode
3143916
Title
CARVER: A Slicing Tool for Communicating Automata Specifications
Author
Labbe, Sebastien ; Lapitre, Arnault
Author_Institution
CEA, LIST, Gif-sur-Yvette
fYear
2006
fDate
15-19 Nov. 2006
Firstpage
99
Lastpage
102
Abstract
Slicing communicating automata specifications is a model reduction technique that has been shown to be efficient in our previous works. This paper introduces CARVER, a tool for slicing communicating automata specifications, that underlies dependence-based slicing techniques. It is described how this tool can extract slices from specifications, and how it can be integrated in the environment of other tools, for the purpose of reducing the complexity of formal analyses.
Keywords
automata theory; Carver; dependence-based slicing techniques; slicing communicating automata specifications; slicing tool; Automata; Context; Data analysis; Data mining; Formal specifications; Interleaved codes; Parallel processing; Polynomials; Reduced order systems; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location
Paphos
Print_ISBN
978-0-7695-3071-0
Type
conf
DOI
10.1109/ISoLA.2006.9
Filename
4463700
Link To Document