A framework to support the declarative definition of engineering model semantics.
Use Java 25 for building.
Run gradlew build to assemble and test the project, including regression testing and formal verifications. The required environment (e.g., Theta binaries) is automatically constructed by Gradle. Tests should run in 10-20 minutes.
To execute slow verification cases (the longest may take ~1 hour), run gradlew testSlowVerificationCases.
Or run gradlew allTests for all tests.
NOTE: Verification tests use Docker to run Theta. To run the build locally, ensure you have docker installed!
Please, follow the instructions in CONTRIBUTING.md
Copyright (c) 2023-2026 Semantifyr Authors
Semantifyr is available under the Eclipse Public License - v 2.0.
Semantifyr complies with the REUSE Specification – Version 3.0 to provide copyright and licensing information to each file, including files available under other licenses. For more information, see the comments headers in each file and the license texts in the LICENSES directory.
The research and development of Semantifyr was also supported by (in no particular order):
- Budapest University of Technology and Economics (BME), Department of Measurement and Information Systems (MIT), Critical Systems Research Group (FTSRG)
- New National Excellence Program 2023
- IncQuery Labs cPlc.
- Ministry of Culture and Innovation of Hungary, National Research, Development and Innovation Fund, financed under the EKÖP_KDP-24-1-BME-21 funding scheme (2024-2028)