Как заявляют в корпорации, тщательное, непротиворечивое и расширяемое тестирование систем остается одной из самых больших проблем в процессах создания и поддержки ПО. Модели можно просматривать в графическом виде с целью полного понимания ожидаемого поведения системы. Тесты могут быть запущены как в автономном режиме, так и в любом фреймворке тестирования, например, Visual Studio. Создание моделй не требует наличия опыта их построения. Модели написаны на языке C# и сопровождаются конфигурационными файлами на сценарном языке Cord (от Coordination Language).

Microsoft ожидает откликов на Spec Explorer. Выход коммерческой версии пока под вопросом.