Lukket

LTL (Linear Temporal Logic) model checking task.