Published November 24, 2024
| Version v3
Software
Open
Artifact for "WEST: Interactive Validation of Mission-time Linear Temporal Logic (MLTL)"
Creators
Description
This is an artifact for the paper "WEST: Interactive Validation of Mission-time Linear Temporal Logic (MLTL)."
The supporting code in the artifact replicates the validation process that the WEST tool is validated with, as well as figure 7 presented in the paper.
Unpack the .tar.gz file or load the iso image, and the instructions are included in README.md.
Files
Files
(7.2 GB)
Name | Size | Download all |
---|---|---|
md5:ebd8cb6d01f9382d3404538a1ac5c279
|
6.9 GB | Download |
md5:fd2e1f28b1bf9a8a476e2d1285ac3c6d
|
208.8 MB | Download |
Additional details
Software
- Repository URL
- https://github.com/zwang271/WEST/tree/artifact
- Programming language
- Python, C++
- Development Status
- Active