Formal automated transformation of SDL specifications to Lotos specifications.
Hazem El-GendyNabil El-KadhiNarayan C. DebnathPublished in: ISCC (2008)
Keyphrases
- formal specification
- high level
- fully automated
- operational semantics
- functional requirements
- delay insensitive
- automated analysis
- formal descriptions
- specification language
- formal language
- reactive systems
- control flow
- formal specification language
- concurrent systems
- asynchronous circuits
- databases
- conceptual models
- computer aided
- real world