Special Interest Group on Finite-State Methods (SIGFSM)