Next: Applications
Up: Tools
Previous: Algorithmic tools.
The multitude of concurrency models and
verification formalisms has also spurred interest in the development of
metatools that support the customization and collaborative use of existing
tools. Examples include PAM, which allows users to change the process
algebra and equational axiomatization being used; the Process Algebra
Compiler, which may be used to generate new front ends for the Concurrency
Workbench; and MetaFRAME, which provides a framework for integrating
tools so that they may be used in conjunction with one another.
Scott Smolka
Thu Aug 22 10:56:53 EDT 1996