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.