PolySpace Technologies develops software for automatic detection of runtime errors in mission-critical code; it is now expanding its interests into the general embedded programming world. Its products ...