*Homepage:* http://www.reasoning.com/

Offers _automated software inspection services_ built using the
Refine wide-spectrum language with explicit transformation support.

----
CategoryCompany