https://github.com/sayymeer/cps-lf
Implementation and Benchmark of Research Paper "Towards Building Verifiable CPS using Lingua Franca"
https://github.com/sayymeer/cps-lf
cps cs637 lingua-franca
Last synced: 10 months ago
JSON representation
Implementation and Benchmark of Research Paper "Towards Building Verifiable CPS using Lingua Franca"
- Host: GitHub
- URL: https://github.com/sayymeer/cps-lf
- Owner: sayymeer
- Created: 2024-11-04T18:19:21.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-11-15T09:04:37.000Z (over 1 year ago)
- Last Synced: 2025-04-13T15:36:30.551Z (about 1 year ago)
- Topics: cps, cs637, lingua-franca
- Language: Python
- Homepage:
- Size: 843 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Using LF to Verify CPS
Your system must have docker installed and docker daemon running. Run the below commands.
```bash
docker build . -t cps-lf
docker run -it cps-lf
```
Inside `docker` container run the following commands.
```bash
# This will run benchmark tests
make
# To verify .lf models
make run TARGET=ModelName # dont include .lf, write ModelName which should be in src/
```