MoonLight 
MoonLight is a light-weight Java-tool for monitoring temporal, spatial and spatio-temporal properties of distributed complex systems, as Cyber-Physical Systems and Collective Adaptive Systems.
It supports the specification of properties written with the Reach and Escape Logic (STREL). STREL is a linear time temporal logic, in particular, it extends the Signal Temporal Logic (STL) with a number of spatial operators that permit to described complex spatial behaviors as beeing surround, reaching target locations and escaping from specific regions.
For more information, please visit our Wiki
1 maintainer
Release files for moonlight 0.3.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| moonlight-0.3.1.tar.gz | 23.6 MB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| moonlight-0.3.1-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 47.2 MB
Release files / moonlight-0.3.1.tar.gz
| Download URL | moonlight-0.3.1.tar.gz |
|---|---|
| Size | 23.6 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
bef7539666ffd920e1beed80ac5adb8ea2707cba4e578b4a80ecd18bce79ef13
|
|
BLAKE2b-256 checksum How to use checksums |
8012abac5e4619dc9e7bf1fe180f74b5aab37e3a6e7be7e35fec6e4ac614cc4d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/1.7.1 CPython/3.10.12 Linux/6.2.0-1019-azure
|
Release files / moonlight-0.3.1-py3-none-any.whl
| Download URL | moonlight-0.3.1-py3-none-any.whl |
|---|---|
| Size | 23.6 MB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
27b2a3dc9c3a75f9d10b21594664a206423a7bde4f47b55c312c3d64d3855184
|
|
BLAKE2b-256 checksum How to use checksums |
d9614fab983b0e6dbfc65e0a1fdf140609fd53165e9d04fdec3892c6d47564ab
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
poetry/1.7.1 CPython/3.10.12 Linux/6.2.0-1019-azure
|
