12 UML to RSL translator	Top	14 Use with emacs
13 SAL Translator

13 SAL Translator

• 13.1 Introduction
• 13.2 Translatable RSL constructs
• 13.3 Writing transition systems and LTL assertions
• 13.4 Confidence condition verification
• 13.5 Using the tool

13 SAL Translator
12 UML to RSL translator	Top	14 Use with emacs