Faithful Translations among Models and Specifications

  title={Faithful Translations among Models and Specifications},
  author={Shmuel Katz},
Numerous translations exist between the design notations of formal methods tools, usually between two speciic notations. VeriTech is a general framework for translating among formal veriication tools. The notation of each component tool is translated to a core representation, and the core is translated to each component. For any translation it is important that the translation preserves a similar modular structure of the notations for expressing models. Even more importantly, and sometimes in… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS