This collection of articles, mostly about formal verification of C and C++ embedded software, is based on certain posts that I originally made in my Verification Blog. They're reproduced here for convenience, and a few have been updated since they were first written.
