https://github.com/overturetool/prob-interpreter-integration
Overture feature that enables implicit function/operation bodies to be interpreted using the ProB model checker
https://github.com/overturetool/prob-interpreter-integration
Last synced: 2 days ago
JSON representation
Overture feature that enables implicit function/operation bodies to be interpreted using the ProB model checker
- Host: GitHub
- URL: https://github.com/overturetool/prob-interpreter-integration
- Owner: overturetool
- Created: 2016-01-18T11:17:43.000Z (over 10 years ago)
- Default Branch: development
- Last Pushed: 2016-01-18T11:24:57.000Z (over 10 years ago)
- Last Synced: 2025-01-05T09:42:01.408Z (over 1 year ago)
- Language: Java
- Size: 26.9 MB
- Stars: 0
- Watchers: 8
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: readme.md
Awesome Lists containing this project
README
# ProB intergration of Overture
This feature is *experimental* and **not** complete. It uses the ProB model checker to do model finding while the interpreter exexutes. This enables otherwise non executable VDM bodies of Functions and Operations to be interpreted.
# Development
To fun the test in the core prob must be present in `~/.prob`
# Compilation
To compile both the core and IDE plugins use the following:
```bash
mvn clean install -PWith-IDE
```
## Repository
Once compiled the plugin can be added to overture using this repository:
```
ide/repository/target/repository/
```