Construct and analyze domain models for security schemes, starting with access-control and moving to issues of availability. Network topology protocols . Model and analyze protocols in which the network topology changes dynamically, and hosts maintain and propagate global information. Model and analyze synchronization schemes. As mobile platforms proliferate, synchronization is becoming a hot issue.
Implementations tend to be complex, slow and error-prone.
Build conceptual models for a modern email client and server, as a basis for a Reliable EMail program. Analysis Technology Static checking . Build new front end for parsing and static checking. Type checking of constraints. Design and build a type checker based on partial evaluation.