First Page | Document Content | |
---|---|---|
![]() Date: 2014-11-19 10:20:55Software bugs Abstract interpretation Astrée Embedded systems Program analysis Cross-platform software Worst-case execution time TargetLink Static program analysis Computing Software engineering Computer programming | Add to Reading List |