west
Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic links in README
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (1.0%) to scientific vocabulary
Keywords
formal-verification-methods
intelligent-fuzzing
mltl
specification
Last synced: 6 months ago
·
JSON representation
Repository
Tool for generating regular expressions of set of all satisfying computations to Mission-time Linear Temporal Logic formulas.
Basic Info
Statistics
- Stars: 7
- Watchers: 5
- Forks: 0
- Open Issues: 0
- Releases: 1
Topics
formal-verification-methods
intelligent-fuzzing
mltl
specification
Created over 3 years ago
· Last pushed 8 months ago
Metadata Files
Readme
License
Citation
Owner
- Login: zwang271
- Kind: user
- Repositories: 4
- Profile: https://github.com/zwang271
GitHub Events
Total
- Watch event: 4
- Delete event: 1
- Push event: 28
- Create event: 3
Last Year
- Watch event: 4
- Delete event: 1
- Push event: 28
- Create event: 3
Dependencies
WEST/requirements.txt
pypi
- PyQt5 ==5.15.11
- PyQt5-Qt5 ==5.15.14
- PyQt5_sip ==12.15.0
- astutils ==0.0.6
- contourpy ==1.3.0
- cycler ==0.12.1
- dd ==0.5.7
- fonttools ==4.53.1
- kiwisolver ==1.4.7
- lark ==1.2.2
- matplotlib ==3.9.2
- networkx ==3.3
- numpy ==2.1.1
- packaging ==24.1
- pillow ==10.4.0
- ply ==3.10
- psutil ==6.0.0
- pydot ==3.0.1
- pyparsing ==3.1.4
- python-dateutil ==2.9.0.post0
- six ==1.16.0
- tqdm ==4.66.5