E-cast: Make Your High-Integrity Code Safe and Secure
Embedded E-cast
0:000:00
Description
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.