µ¶ÀÏ AbsInt»çÀÇ Å¸ÀÓ¹Ö ºÐ¼®Åø ¹× ÄÚµå ºÐ¼® Åø
aiT WCET Analyzer, TimingProfiler, StackAnalyzer, Astree, CompCert
ECU SoftwareÀÇ ÃÖ´ë ½ÇÇà½Ã°£ ºÐ¼®, Run Time ¿À·ù °ËÃâ, Stack Overflow °ËÃâ, ÃÖÀûÈµÈ Compiler ±â´ÉÀ» Á¦°ø ÇÏ¸ç °¢°¢ÀÇ ±â´É¿¡ ´ëÇÏ¿© µ¶¸³ÀûÀÎ Åø·Î ±¸¼ºµÇ¾î ÀÖ½À´Ï´Ù.
|