FORSEE

FORSEE (FORmal Systems Engineering Environment) contains a collection of tools that provide computer-based assistance in the development fo concurrent systems.

Environment:

Sun Workstation with Unix

Origin:

Telecom Australia Research Laboratories, Victoria

Kind of Nets supported:

Coloured Petri Nets, Place/Transition Nets

Functionalities:

The environment consists of three components:

Editing and Simulation package Design/CPN
Verification Tool TORAS
Automatic implementation Tool PROMPT

Availability:

POLICY: There exists only a prototype of FORSEE.
CONTACT J. Billington and G. Wheeler

References

J. Billington: FORSEEing Quality Telecommunications Software [bil91]