Spec Explorer is a software-development tool for advanced model-based specification and conformance testing. Spec Explorer can help software-development teams detect errors in the design, the specification, and the implementation of their systems. The tool is intended to be used by software testers, designers, and implementers.
Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.