of appropriate formal methods for an application, or appropriate automated
software development tools for implementing formal methods. Finally, not
all formal methods are equally applicable on all systems. Formal languages
without modularization capabilities and scope-delimiting rules are difficult to