Sentil
Runtime verification with Signal Temporal Logic on a microcontroller.
Версия0.3.0
ZIP на зеркалеготов
ПроверкаSHA-256
Размер20.68 MiB
Источникофициальный
Обновлено2026-09-15
Установка
Последняя опубликованная версия0.3.020.68 MiB ZIP
СкачатьZIP уже в зеркале TREMAАрхив хранится локально и уже прошел проверку контрольной суммы. Скачивание должно начаться сразу.версия: последняя · сохранен: 2026-08-29 09:18:50 UTC
Как подключить скачанный ZIP
- Скачайте архив — реестр отдает его уже проверенным.
- В Arduino IDE выберите «Скетч → Подключить библиотеку → Добавить .ZIP библиотеку».
- Укажите скачанный файл — библиотека появится в списке доступных.
Контрольная сумма
SHA-256:039de6bee14ed6b1c17779f69e421d499dbc051487d7b5d745b7b30f733559e6Архив
Sentil-0.3.0-039de6be.zipОписание
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.