Diese Seite auf deutsch
SearchSystem Support for Algebraic System Calculation (BaCaTec)(inactive)
| Start date: | 01.01.2001 |
| End date: | 31.12.2002 |
| Duration: | 01.01.2001 - 31.12.2002 |
| Funded by: | BaCaTec (Bayerisch-Kalifornisches Hochschulzentrum) |
| Local project leader: | Prof. Dr. Bernhard Möller |
| External scientists / cooperations: |
Prof. Dr. Lambert Meertens (Kestrel Institute, Palo Alto) Prof. Dr. Douglas Smith (Kestrel Institute, Palo Alto) and others |
| Publications: | Publication list |
Abstract
The project served to establish a loose cooperation with Kestrel Institute at Palo Alto. It deals with the following themes:
First, the Augsburg group evaluated the Kestrel system SPECWARE for its suitability to support algebraic derivations.
Second, Kestrel investigated how the Augsburg formalization of structures on the heap can be applied in a concrete modelling and verification project.
Third, both groups cooperated on the issue of formal, algebraic derivation of concurrent garbage collection algorithms.
First, the Augsburg group evaluated the Kestrel system SPECWARE for its suitability to support algebraic derivations.
Second, Kestrel investigated how the Augsburg formalization of structures on the heap can be applied in a concrete modelling and verification project.
Third, both groups cooperated on the issue of formal, algebraic derivation of concurrent garbage collection algorithms.