Examples of models and properties supported by biodivine ctl and ltl model checkers.