top > tools

ViennaTalk

ViennaTalk is a development environment for VDM-SL built upon Pharo Smalltalk system. ViennaTalk brings you both VDM's rigor and Smalltalk's live agility to support your exploratory modeling task at the earlier stage of the specification phase.

Return to the top of this page