https://github.com/tomooda/viennatalk
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
https://github.com/tomooda/viennatalk
formal-methods formal-models formal-specification pharo smalltalk vdm vdm-sl
Last synced: about 1 month ago
JSON representation
ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
- Host: GitHub
- URL: https://github.com/tomooda/viennatalk
- Owner: tomooda
- License: mit
- Created: 2015-08-25T23:56:59.000Z (almost 10 years ago)
- Default Branch: main
- Last Pushed: 2025-04-18T08:29:11.000Z (about 1 month ago)
- Last Synced: 2025-04-18T22:14:28.020Z (about 1 month ago)
- Topics: formal-methods, formal-models, formal-specification, pharo, smalltalk, vdm, vdm-sl
- Language: Smalltalk
- Homepage:
- Size: 48.6 MB
- Stars: 14
- Watchers: 8
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
[](https://pharo.org/download)
[](https://github.com/tomooda/ViennaTalk/actions/workflows/test.yml)
[](https://raw.githubusercontent.com/cormas/cormas/master/LICENSE)
ViennaTalk ~ Live and Formal
===
ViennaTalk is a Smalltalk library to handle VDM-SL specifications.
Downloads
---
The latest release: [
Milan
](https://github.com/tomooda/ViennaTalk/releases/latest/)
* macOS / AppleSilicon [](https://viennatalk.org/builds/viennatalk/latest/ViennaTalk-Installer-Darwin-arm64.dmg)
* macOS / Intel processor [](https://viennatalk.org/builds/viennatalk/latest/ViennaTalk-Installer-Darwin-x86_64.dmg)
* windows64 / Intel processor [](https://viennatalk.org/builds/viennatalk/latest/ViennaTalk-Windows-x86_64.zip)
Documentation
---
Documentation is available at [ViennaTalk.org](http://viennatalk.org/).
Public VDMPad server
---
You can freely try VDMPad without any registration at [Public VDMPad server](http://vdmpad.viennatalk.org).
Platform
---
ViennaTalk works on [Pharo 12](http://pharo.org/) .
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.
License
---
ViennaTalk is distributed under [the MIT license](https://github.com/tomooda/ViennaTalk-doc/blob/master/LICENSE).
Install
---
You may either download a pre-built package from [Release page](https://github.com/tomooda/ViennaTalk-doc/releases), install viennatalk+pharo from command shell, or install from source code repository into [Pharo](http://pharo.org/).
Source Repository
---
The source code repository is available at https://github.com/tomooda/ViennaTalk.
On macOS or Linux, you may download Pharo and installl ViennaTalk using the following command on a shell
```
curl https://raw.githubusercontent.com/tomooda/ViennaTalk/main/scripts/install-viennatalk.sh | bash
```
If you like to install ViennaTalk on an existing Pharo installation, please use Iceberg to clone https://github.com/tomooda/ViennaTalk.git with repository subdirectory, and load BaselineOfViennaTalk and install its baseline.
Or, you may programmatically install it by evaluating
```
EpMonitor disableDuring: [
Metacello new
onConflictUseLoaded;
onWarningLog;
repository: 'github://tomooda/ViennaTalk:main/';
baseline: 'ViennaTalk';
load ]
```
Acknowledgements
---
Part of the ViennaTalk project is supported by Grant-in-Aid for Scientific Research (S) 24220001, Grant-in-Aid for Scientific Research (C) 26330099, and Grant-in-Aid for Early-Career Scientists 18K18033 from the Japan Society for the Promotion of Science.
The ViennaTalk project is supported by [Software Research Associates, Inc.](https://www.sra.co.jp/en/).
[](https://www.sra.co.jp/en/)