|
A substantial amount of the work of the TDS Group involves
application of our formal models and methods
to particular case studies.
There are several purposes/benefits of this application work:
- It yields interesting results about the application area - e.g.,
algorithms, impossibility results, formal specs and proofs for
components.
- It contributes to the development of the formal models and
methods, ensuring that this development takes place in a way that is
useful in practice.
- It leads to the development of a useful theory for the
application area. Such a theory consists of a collection of abstract
component specifications, abstract algorithms and other component
designs, and specialized theorems to help in designing and verifying
systems in this application area.
Case Studies:
|
