Sentil (0.3.1) for samd/mbed_rp2040/rp2040 by Paapa Kwesi Quansah, Ernest Bonnah, SEDIS Lab

➡️ https://github.com/sedislab/arduino-sentil

Runtime verification with Signal Temporal Logic on a microcontroller.

#ArduinoLibs #ArduinoLibraries #samdLibraries #mbed_rp2040Libraries #rp2040Libraries