Skip to content
Switch branches/tags
Go to file
Cannot retrieve contributors at this time

Pharo version Build Status Build status License

ViennaTalk logo

ViennaTalk ~ Live and Formal

ViennaTalk is a Smalltalk library to handle VDM-SL specifications.


Documentation is available at

Public VDMPad server

You can freely try VDMPad without any registration at Public VDMPad server.


ViennaTalk works on Pharo 8 . MacOSX and Linux is supported. Windows platforms are partially supported; a local VDMJ process does not work on Widnows due to limitation of OSSubprocess's piping functions.


ViennaTalk is distributed under the MIT license.


You may either download a pre-built package from Release page or install from source code repository into Pharo.

Source Repository

The source code repository is available at If you like to install from source code, please use Iceberg to clone with repository subdirectory, and load BaselineOfViennaTalk and install its baseline. Or, you may at once install it by evaluating

Metacello new
	baseline: 'ViennaTalk';
	repository: 'github://tomooda/ViennaTalk/repository';


Part of the ViennaTalk project is supported by Grant-in-Aid for Scientific Research (S) 24220001 from the Japan Society for the Promotion of Science.