Description: Polyspace Technologies develops and markets verification and validation tools for real-time, distributed, embedded and mission critical software, taking advantage of abstract interpretation technics and static analysis of source program approach.