Sentil
Runtime verification with Signal Temporal Logic on a microcontroller.
Версия0.3.0
ZIP на зеркалепо запросу
ПроверкаSHA-256
Размер20.68 MiB
Источникофициальный
Обновлено2026-08-23
Установка
Последняя опубликованная версия0.3.020.68 MiB ZIP
ZIP еще не в горячем кешеАрхив еще не сохранен локально. Первый запрос может занять больше времени: реестр скачает файл на сервере, проверит checksum и только потом отдаст ZIP.версия: последняя
Как подключить скачанный 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.
Версии
Показано: 10.3.02026-08-23 19:13:52 UTC
ZIP по запросу
первое скачивание может быть дольше