simplecar
Published:
simplecar is a simple implementation of CAR (Complementary Approximate Reachability), which is a novel safety model checker algorithm and was presented since 2017.
Tools
aalta/aaltaf
Published:
aalta is a SAT-based satisfiability checker for LTL over infinite traces, and aaltaf is for LTL over finite traces.