Guide to Software Verification with Frama-C - 9783031556074
ISBN-13: 9783031556074, 978-3031556074. This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008.