Free Trial
ECLAIR Suite
Free Trial
ECLAIR Suite
Implementing state of the art technology, BUGSENG designed the ECLAIR Software Verification Platform®, a powerful suite of products for the automatic analysis and verification of C and C++ programs
FAQ
BOOK A DEMO
Login
Static Analysis
Overview
Supported platforms
Licensing
ECLAIR Packages
Base
MC
MP
MCP
Add-ons
Reports
How it works
Free trial
Educational program
Functional Safety Qualification
Overview
FuSa Certification Pack
Qualification Kits
Qualification Service
Compiler and Library Qualification
Overview
CerTran for SuperTest
ECLAIR Code Scout
Solutions
Free Trial
Solutions
Solutions
Navigate products capabilities and solutions
Contact us
Discover
Subscribe to our Newsletter
Tooling Capabilities
Compliance to safety and security standards
Automatic toolchain configuration
Automatic checking of architectural constraints
Requirements management
Tool certification and qualification
Continuous Compiler Qualification
CerTran for SuperTest
Library qualification
C-rusted
C-rusted in a nutshell
Q&A
Resources
Services
Technical support
Standard
Advanced
Consulting
MISRA Compliance
Legacy code
Development and verification
Integration in CI/CD infrastructures
Training
Effective MISRA C
Effective MISRA C++
MISRA Compliance
ECLAIR (tailored)
Industries
Free Trial
Industries
Industries
Functional safety standards provide guidance, requirements and objectives for the development of all embedded software, whether or not this is safety critical
LEARN MORE
Automotive
Overview
Resources
Industrial
Overview
Resources
Railway
Overview
Resources
Aerospace
Overview
Resources
Medical
Overview
Resources
Agricolture & Forestry
Overview
Resources
Resources
Free Trial
Resources
Resources
Functional safety standards provide guidance, requirements and objectives for the development of all embedded software, whether or not this is safety critical
ACCESS PRIVATE AREA
Subscribe to our newsletter
Brochures
BUGSENG
ECLAIR Suite
Training
Certificates
Process (ISO 9001)
Tool Suite (FuSa Standards)
White Papers
Blog
Webinars
Newsroom
Press Releases
Customer Stories
Selected Papers
Scientific Publications
Private Area
Request an account to access an exclusive library of contents and demo
Login
About
Free Trial
BUGSENG
About
Learn more about our team of experts, our committments within the community, our certifications, our partners
VIEW MORE RESOURCES
Subscribe to our newsletter
BUGSENG
Who we are
Imprint
Quality policy
Company Assets
OSS Commitment
Read: BUGSENG PPL
Partners Network
Our partners
Distributors and Resellers
Universities
Work with us
Work Ethics
Openings
Internships
ECLAIR Suite
Solutions
Industries
Resources
About
Back
ECLAIR Suite
ECLAIR Suite
Implementing state of the art technology, BUGSENG designed the ECLAIR Software Verification Platform®, a powerful suite of products for the automatic analysis and verification of C and C++ programs
FAQ
BOOK A DEMO
Login
Static Analysis
Overview
Supported platforms
Licensing
ECLAIR Packages
Base
MC
MP
MCP
Add-ons
Reports
How it works
Free trial
Educational program
Functional Safety Qualification
Overview
FuSa Certification Pack
Qualification Kits
Qualification Service
Compiler and Library Qualification
Overview
CerTran for SuperTest
ECLAIR Code Scout
Back
Solutions
Solutions
Navigate products capabilities and solutions
Contact us
Discover
Subscribe to our Newsletter
Tooling Capabilities
Compliance to safety and security standards
Automatic toolchain configuration
Automatic checking of architectural constraints
Requirements management
Tool certification and qualification
Continuous Compiler Qualification
Library qualification
C-rusted
C-rusted in a nutshell
Q&A
Resources
Services
Technical support
Standard
Advanced
Consulting
MISRA Compliance
Legacy code
Development and verification
Integration in CI/CD infrastructures
Training
Effective MISRA C
Effective MISRA C++
MISRA Compliance
ECLAIR (tailored)
Back
Industries
Industries
Functional safety standards provide guidance, requirements and objectives for the development of all embedded software, whether or not this is safety critical
LEARN MORE
Automotive
Overview
Resources
Industrial
Overview
Resources
Railway
Overview
Resources
Aerospace
Overview
Resources
Medical
Overview
Resources
Agricolture & Forestry
Overview
Resources
Back
Resources
Resources
Functional safety standards provide guidance, requirements and objectives for the development of all embedded software, whether or not this is safety critical
ACCESS PRIVATE AREA
Subscribe to our newsletter
Brochures
BUGSENG
ECLAIR Suite
Training
Certificates
Process (ISO 9001)
Tool Suite (FuSa Standards)
White Papers
Blog
Webinars
Newsroom
Press Releases
Customer Stories
Selected Papers
Scientific Publications
Private Area
Request an account to access an exclusive library of contents and demo
Login
Back
About
About
Learn more about our team of experts, our committments within the community, our certifications, our partners
VIEW MORE RESOURCES
Subscribe to our newsletter
BUGSENG
Who we are
Imprint
Quality policy
Company Assets
OSS Commitment
Read: BUGSENG PPL
Partners Network
Our partners
Distributors and Resellers
Universities
Work with us
Work Ethics
Openings
Internships
Back
Continuous Compiler Qualification
CerTran for SuperTest
Selected papers
Tags
#static analysis
#C-rusted
#C
#MISRA
#misraC
#BARR-C
29/05/2025
SELECTED PAPERS
Software Verification Done Right: Introduction to Static Analysis
#static analysis
30/04/2025
SELECTED PAPERS
C-rusted: A formally verifiable flavor of C for the development of safe and secure systems
#c-rusted
30/04/2025
SELECTED PAPERS
C, Rust, C-rusted and MISRA for safe and secure embedded software
#c
#c-rusted
#misra
30/05/2024
SELECTED PAPERS
Bringing existing code into MISRA compliance: Challenges and solutions
#misra
30/05/2023
SELECTED PAPERS
C-rusted: The advantages of Rust, in C, without the disadvantages
#c-rusted
30/05/2023
SELECTED PAPERS
Coding guidelines and undecidability
30/05/2023
SELECTED PAPERS
Formal verification of software architectural constraints
30/05/2022
SELECTED PAPERS
A rationale-based classification of MISRA C guidelines
#misrac
30/05/2021
SELECTED PAPERS
BARR-C:2018 and MISRA C:2012 (with Amendment 2): Synergy between the two most widely used C coding standards
#barr-c
#misrac
1
2
»
We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.
CONTACT US
