Sciweavers

Share
FASE
2004
Springer

Translating Software Designs for Model Checking

9 years 6 days ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-checkable formal languages. These issues are considered under the framework of integrated model/property translation and include: (1) translator architecture; (2) semantics translation from a software language to a formal language; (3) property specification and translation; (4) transformations for state space reduction; (5) translator validation and evolution. Solutions to these issues are defined, described, and illustrated in the context of translating xUML, an executable design level software specification language, to S/R, the input formal language of the COSPAN model checker.
Fei Xie, Vladimir Levin, Robert P. Kurshan, James
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FASE
Authors Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
Comments (0)
books