Support and Maintenance Programs
BUGSENG Technical Support team members are product and technology experts with deep experience in the diverse coding standards and development environments deployed by our Customers.
We are striving to provide our customers with continuous innovation and the highest levels of support.
BUGSENG offers to its Customers online and self-help support in addition to online case tracking tools for case submission, monitoring and updating.
Services relating to the Parma Polyhedra Library
We are the architects and, since 2001, the core development team of the Parma Polyhedra Library (PPL). This is used worldwide in numerous applications that need to correctly and precisely reason about numerical quantities. These applications include compilers (such as GCC, the GNU Compiler Collection), model checkers, analyzers and verifiers for computer programs, digital and even analogic systems.
We offer a full range of services relating to the PPL: maintenance, support, installation, integration, specific custom development, and training.