Get started

The tutorial

A full-length course on SENTIL in one PDF.

The docs on this site are built for looking things up but if you need a more formal reading order, the tutorial is available. It teaches it more formally with exercises, their answers, and a complete syntax reference.

It assumes no formal-methods background.

For a working monitor in five minutes instead, start with your first monitor.

Edit this page on GitHub