WIFT98 Tools Descriptions
This year we will have 2 sessions dedicated to the brief presentations
of formal methods tools. Each tool vendor will have 10 minutes to give
a brief introduction to their tool. Then the tools will be available
for demonstration
in the workshop area for the duration of the workshop. In addition
to the
tools formally presented, there will be additional demonstrations of
tools that will
be available to workshop participants.
Tentative List of Tools to be Presented and Demonstrated
-
Object Time: Real-Time Object-Oriented Modeling
-
SCR (Software Cost Reduction):
state-based requirements modeling and analysis
-
Telelogic: SDL
-
Z/Eves: Specification and theorem proving environment
-
T-VEC: Test-case generator based on formal requirements
For further information or demonstration proposals, please contact the
Tools Chair
Robert Busser, Motorola : rbusser@paging.mot.com