Finite-state machine analyzer and solver