C

Customizable interface LTL checking