Content by Mark Hermeling
Mark Hermeling
Head of Technical Marketing, AdaCore
Mark has over 25 years’ experience in software development tools for high-integrity, secure, embedded and real-time systems across automotive, aerospace, defence and industrial domains. As Head of Technical Marketing at AdaCore, he links technical capabilities to business value and is a regular author and speaker on on topics ranging from the software development lifecycle, DevSecOps to formal methods and software verification.
[Video]
Ada source level debugging with Lauterbach Trace32
[Blog Post]
Formal Methods Practice and Theory
Formal methods offer a rigorous way to connect requirements to implementation, enabling developers to prove key properties such as the absence of…
[Video]
How to Prove the Correctness of AI-Generated Code Using Formal Methods
[Video]
A Day in the Life of a Software Engineer
[Blog Post]
MISRA for Memory Safety
MISRA is the top coding standard for C/C++ in embedded systems, but its full adherence is often impractical. Its rules can be split into three…