The modules of the formal specification are generally organized following the functional decomposition presented in the command menu bar and outlined in the functional requirements. The modules are the following:
Prev: developer-overview | Next: [none] | Up: index | Top: index