波尔盖斯
중요코드안전하게만들기
波尔盖斯®데을을을데에에무료다데데을런타임데데을중대한런타임데데데합니다런타임데데데합니다런타임데데데런타임런타임데데데런타임런타임데데데증명런타임런타임오류런타임런타임런타임데오류을합니다런타임데증명합니다。이제품은코딩규칙，보안보안，코드메트릭그리고수백의을확인하기위한기능을을있습니다있습니다갖추고갖추고갖추고갖추고
PolySpace代码箴言
코드실행이중대한런타임오류가없음을정형적으로증명。
Polyspace Bug Finder.
코딩규칙，보안보안，코드메트릭을확인하고를찾습니다。
ADA용波动
소스코드에런타임오류가없음없음증명합니다。
C / C ++，ADA를를위한정형기법기반의자동화된정적코드코드
품질
테스트케이스작성이나코드코드없이，버그를찾고중대한런타임가없음을증명합니다。
안전
MISRA，ISO 26262，IEC 61508，DO-178，FDA규정에대한안전및문서에부합합니다。
보안
소프트웨어보안취약점들과cwe，cert-c，iso / Iec 17961등과같은보안관련을을사합니다。
日产
Polyspace는어떤경우에런타임가발생발생수있는지찾고어떤에서도도가절대절대하지않을경우도식별식별합니다。
Alenia Aermacchi.
Polyspace정적분석도구는코드의런타임오류를확인하고MISRA코딩표준의준수여부를확인하며DO-178인증을위한산출물들을생성합니다。
奇景
Miracor♥FDA를포함한규제단체에게자신들의가안전함함을증명하기위해위해위해를활용하여품질과을보여주었습니다과을보여주었습니다보여보여보여
