ceetle (cargo): A Computional Tree Logic (CTL) Verifier
Keywords: testing|logic|automaton