VERISTATE

Computer software for testing and verifying embedded software and hardware for automotive, avionics and medical machine and device components in industrial design laboratories.