Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of Veriloud

Veriloud

Veriloud has asked 0 questions and find answers to 2 problems.

Stats

38
EtPoint
10
Vote count
0
questions
2
answers

About

Veriloud is about software verification above and beyond testing. Testing is an important aspect of quality control in software engineering, but only proves the presence of defects. This is well understood in the safety/mission critical world, where absence of evidence through testing is not evidence of absence. Industrial safety requires adherence to best standards and practices focused on prevention as well as detection of defects. For the implementation phase, this includes following coding guidelines and activities known to prevent unwanted behavior. Where the language is C/C++, the CERT-C and MISRA-C standards are a de-facto basis for this. Veriloud is dedicated to these topics and the issues of trusting but verifying the reliability of the machines becoming ubiquitously smarter around us.

Veriloud questions