https://github.com/opensourcebim/javamodelchecker
BIMserver plugin that can do model checking based on (runtime configurable) Java code
https://github.com/opensourcebim/javamodelchecker
Last synced: 10 months ago
JSON representation
BIMserver plugin that can do model checking based on (runtime configurable) Java code
- Host: GitHub
- URL: https://github.com/opensourcebim/javamodelchecker
- Owner: opensourceBIM
- Created: 2016-01-18T12:32:04.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2018-03-15T11:50:43.000Z (almost 8 years ago)
- Last Synced: 2025-03-24T17:14:56.215Z (11 months ago)
- Language: Java
- Size: 40 KB
- Stars: 2
- Watchers: 3
- Forks: 3
- Open Issues: 2