Customizable interface LTL checking