BUGSENG is a leading provider of static code analysis solutions, and services. Our verification platform, ECLAIR, has been designed to help engineers develop higher-quality software, effectively, by changing the traditional rules of the game.
Software verification is a highly complex task that requires deep specialization, and BUGSENG has designed a new generation of tools, based on very sophisticated program verifiers, able to handle the complexity of the task in a transparent way, to effectively support the software engineering community in a continuous improvement process leading to truly reliable and practical mission and safety critical systems. Our products are based on a solid understanding of the modern software industry needs and requirements in which solid theoretical work has been coupled with the best software engineering practices.
In BUGSENG, we believe that high-quality software requires high-quality verification tools, and that's why that our motto is: "no shortcuts, no compromises, no excuses: software verification done right."
BUGSENG is a privately held company with headquarters in Parma, Italy.
BUGSENG's main product is ECLAIR, a flexible and extensible framework for the analysis of C and C++ source code. ECLAIR is firmly based on the results of the best research in mathematics and computer science. Among the many applications of ECLAIR we have: automatic detection of violations of coding rules, either defined by the user or included in various coding standards (like MISRA C/C++, NASA/JPL C, ESA/BSSC C/C++, High-Integrity C++, CERT C/C++, JSF C++, Netrino Embedded C, plus a number of proprietary coding standards); automatic generation of test-cases; code simplification/obfuscation ; computation of code metrics. The extreme flexibility of ECLAIR allows its users to tailor it to any software verification problem and to any software development process.
Company Details
- Employees
- 12
- Founded
- -
- Address
- Via Marco Dell'arpa 8/b, Parma,italia 43121,italy
- Phone
- +91 40 4854 9936
- in****@****ech.com
- Industry
- Software Development
- NAICS
-
Software Publishers
- Website
- bugseng.com
- Keywords
- software verification, software analysis, software quality, software reliability, software testing, static analysis, abstract interpretation, automatic program manipulation, misra, functionalsafety.
- HQ
- Parma, Italia
Bugseng Questions
Bugseng's helpline number is +91 40 4854 9936
Bugseng's website is bugseng.com
Bugseng's LinkedIn profile is https://it.linkedin.com/company/bugseng
Bugseng has
12 employees.
View email and phone details for 12
employees at Bugseng.
Bugseng's industry is
Software Development
Bugseng's top competitors are
Solid Sands,
Partech S.p.a.,
University Of Parma,
Ho.bag Corporate Srl Unipersonale,
Spacedys S.r.l.,
Datapizza,
Canonical,
Txt E-Tech,
Phytec Messtechnik Gmbh,
221e.
Bugseng's support email address is info@menloparktech.com
Bugseng's categories are Software Development
Bugseng's founding year is 2011
