PolySpace Technologies

Software testing and debugging for embedded applications. Sold to Mathworks (US) in April 2007.

www.mathworks.com