Runtime verification with Signal Temporal Logic on a microcontroller.
Monitors a stream of sensor readings against a temporal-logic specification, reports the quantitative robustness at every step, and synthesizes and runs a controller on the board.
| Filename | Release Date | File Size |
|---|---|---|
| Sentil-0.3.0.zip | 2026-08-06 | 20.68 MiB |