Sentil
Runtime verification with Signal Temporal Logic on a microcontroller.
Версия0.3.1
ZIP на зеркалеготов
ПроверкаSHA-256
Размер20.68 MiB
Источникофициальный
Обновлено2026-10-08
Установка
Последняя опубликованная версия0.3.120.68 MiB ZIP
СкачатьZIP уже в зеркале TREMAАрхив хранится локально и уже прошел проверку контрольной суммы. Скачивание должно начаться сразу.версия: последняя · сохранен: 2026-10-06 13:13:47 UTC
Как подключить скачанный ZIP
- Скачайте архив — реестр отдает его уже проверенным.
- В Arduino IDE выберите «Скетч → Подключить библиотеку → Добавить .ZIP библиотеку».
- Укажите скачанный файл — библиотека появится в списке доступных.
Контрольная сумма
SHA-256:bb109e770011f341cfaa6cce5e3ffb25e97d7d21ea1e5ee110cf171b7e3e12f4Архив
Sentil-0.3.1-bb109e77.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.
Версии
Показано: 20.3.02026-10-08 12:49:03 UTC
ZIP по запросу
восстановится при запросе