[
    a <http://schema.org/SoftwareApplication>;
    <http://schema.org/applicationCategory> "Data Processing";
    <http://schema.org/author> [
      a <http://schema.org/Person>;
      <http://schema.org/name> "Paapa Kwesi Quansah, Ernest Bonnah, SEDIS Lab"
    ];
    <http://schema.org/datePublished> "2026-08-06"^^<http://schema.org/Date>;
    <http://schema.org/description> "Runtime verification with Signal Temporal Logic on a microcontroller.";
    <http://schema.org/downloadUrl> <https://downloads.arduino.cc/libraries/github.com/sedislab/Sentil-0.3.0.zip>;
    <http://schema.org/fileSize> 21179;
    <http://schema.org/license> <https://spdx.org/licenses/Apache-2.0>;
    <http://schema.org/name> "Sentil";
    <http://schema.org/operatingSystem> "Arduino";
    <http://schema.org/softwareVersion> "0.3.0";
    <http://schema.org/url> <https://github.com/sedislab/SENTIL>
  ] .