![Embedded E-cast show](https://d3dthqtvwic6y7.cloudfront.net/podcast-covers/000/049/848/small/embedded-e-cast.png)
Summary: Attend this webcast to learn how to verify the quality, reliability, and security of high-integrity software. You'll learn to do this thoroughly and efficiently using automated static code analysis based on formal methods.
Summary: Attend this webcast to learn how to verify the quality, reliability, and security of high-integrity software. You'll learn to do this thoroughly and efficiently using automated static code analysis based on formal methods.