Verocel is a company that provides information technology tools and software verification services. It offers coverage and control coupling analysis, application lifecycle management, pic instruction set simulators, and stack analysis tools. The company also specializes in systems, complex electronic hardware and software development, software certification, and regulatory compliance solutions.