SMS: Model checking software