{"id":4723,"date":"2022-07-01T17:31:02","date_gmt":"2022-07-01T15:31:02","guid":{"rendered":"https:\/\/zen-cori.138-201-132-86.plesk.page\/?page_id=4723"},"modified":"2025-04-15T18:36:33","modified_gmt":"2025-04-15T16:36:33","slug":"formal-verification","status":"publish","type":"use_cases","link":"https:\/\/www.btc-embedded.com\/de\/use_cases\/formal-verification\/","title":{"rendered":"Formal Verification"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"4723\" class=\"elementor elementor-4723\" data-elementor-post-type=\"use_cases\">\n\t\t\t\t<div class=\"elementor-element elementor-element-7cd150c btc-hero e-flex e-con-boxed e-con e-parent\" data-id=\"7cd150c\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-43eba79 e-con-full e-flex e-con e-child\" data-id=\"43eba79\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-ddb637c elementor-widget elementor-widget-heading\" data-id=\"ddb637c\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">Use Cases<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2eb5d56 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"2eb5d56\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Formal Verification<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-7dc33f1 elementor-widget elementor-widget-text-editor\" data-id=\"7dc33f1\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p style=\"font-weight: 400;\">The power of proof for safety-critical systems<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-dc37b5d e-flex e-con-boxed e-con e-parent\" data-id=\"dc37b5d\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-bf7f32c btc-products e-con-full e-flex e-con e-child\" data-id=\"bf7f32c\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-bef70d9 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"bef70d9\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeInLeft&quot;,&quot;animation_mobile&quot;:&quot;fadeInUp&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-82999b0 elementor-widget elementor-widget-heading\" data-id=\"82999b0\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Highly automated test methods<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-eb2d9ba elementor-widget elementor-widget-heading\" data-id=\"eb2d9ba\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Formalized Requirements = Higher Quality<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-376d62b elementor-widget elementor-widget-text-editor\" data-id=\"376d62b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p style=\"font-weight: 400;\">Thanks to the machine-readable nature of the formalized requirements, you can directly use them within several verification use cases and dramatically improve the quality and completeness of the verification process.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-52eb311 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"52eb311\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeInRight&quot;,&quot;animation_mobile&quot;:&quot;fadeInUp&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6c7c7cc elementor-grid-1 elementor-grid-tablet-1 elementor-grid-mobile-1 elementor-widget elementor-widget-loop-grid\" data-id=\"6c7c7cc\" data-element_type=\"widget\" data-settings=\"{&quot;template_id&quot;:20148,&quot;columns&quot;:1,&quot;columns_tablet&quot;:1,&quot;_skin&quot;:&quot;post&quot;,&quot;columns_mobile&quot;:&quot;1&quot;,&quot;edit_handle_selector&quot;:&quot;[data-elementor-type=\\&quot;loop-item\\&quot;]&quot;,&quot;row_gap&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;row_gap_tablet_extra&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;row_gap_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;row_gap_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"loop-grid.post\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-loop-container elementor-grid\" role=\"list\">\n\t\t<style id=\"loop-20148\">.elementor-20148 .elementor-element.elementor-element-2919a9af{--display:flex;--flex-direction:row;--container-widget-width:calc( ( 1 - var( --container-widget-flex-grow ) ) * 100% );--container-widget-height:100%;--container-widget-flex-grow:1;--container-widget-align-self:stretch;--flex-wrap-mobile:wrap;--align-items:stretch;--gap:10px 10px;--row-gap:10px;--column-gap:10px;--border-radius:20px 20px 20px 20px;box-shadow:0px 0px 30px 15px rgba(225, 225, 225, 0.15);--padding-top:25px;--padding-bottom:25px;--padding-left:25px;--padding-right:25px;}.elementor-20148 .elementor-element.elementor-element-2919a9af:not(.elementor-motion-effects-element-type-background), .elementor-20148 .elementor-element.elementor-element-2919a9af > .elementor-motion-effects-container > .elementor-motion-effects-layer{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-76e2b7ab{--display:flex;}.elementor-widget-icon-box.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-primary );}.elementor-widget-icon-box.elementor-view-framed .elementor-icon, .elementor-widget-icon-box.elementor-view-default .elementor-icon{fill:var( --e-global-color-primary );color:var( --e-global-color-primary );border-color:var( --e-global-color-primary );}.elementor-widget-icon-box .elementor-icon-box-title, .elementor-widget-icon-box .elementor-icon-box-title a{font-family:var( --e-global-typography-primary-font-family ), Sans-serif;font-size:var( --e-global-typography-primary-font-size );font-weight:var( --e-global-typography-primary-font-weight );text-transform:var( --e-global-typography-primary-text-transform );font-style:var( --e-global-typography-primary-font-style );text-decoration:var( --e-global-typography-primary-text-decoration );line-height:var( --e-global-typography-primary-line-height );letter-spacing:var( --e-global-typography-primary-letter-spacing );}.elementor-widget-icon-box .elementor-icon-box-title{color:var( --e-global-color-primary );}.elementor-widget-icon-box:has(:hover) .elementor-icon-box-title,\n\t\t\t\t\t .elementor-widget-icon-box:has(:focus) .elementor-icon-box-title{color:var( --e-global-color-primary );}.elementor-widget-icon-box .elementor-icon-box-description{font-family:var( --e-global-typography-text-font-family ), Sans-serif;font-size:var( --e-global-typography-text-font-size );font-weight:var( --e-global-typography-text-font-weight );text-transform:var( --e-global-typography-text-text-transform );font-style:var( --e-global-typography-text-font-style );text-decoration:var( --e-global-typography-text-text-decoration );line-height:var( --e-global-typography-text-line-height );letter-spacing:var( --e-global-typography-text-letter-spacing );color:var( --e-global-color-text );}.elementor-20148 .elementor-element.elementor-element-495b026a{width:auto;max-width:auto;bottom:25px;z-index:1;}body:not(.rtl) .elementor-20148 .elementor-element.elementor-element-495b026a{left:25px;}body.rtl .elementor-20148 .elementor-element.elementor-element-495b026a{right:25px;}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-wrapper{align-items:center;}.elementor-20148 .elementor-element.elementor-element-495b026a.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-495b026a.elementor-view-framed .elementor-icon, .elementor-20148 .elementor-element.elementor-element-495b026a.elementor-view-default .elementor-icon{fill:var( --e-global-color-8c64e01 );color:var( --e-global-color-8c64e01 );border-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon{font-size:35px;}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title a{font-family:var( --e-global-typography-6dfa8a2-font-family ), Sans-serif;font-size:var( --e-global-typography-6dfa8a2-font-size );font-weight:var( --e-global-typography-6dfa8a2-font-weight );text-transform:var( --e-global-typography-6dfa8a2-text-transform );font-style:var( --e-global-typography-6dfa8a2-font-style );text-decoration:var( --e-global-typography-6dfa8a2-text-decoration );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title{color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-75e4e713{width:auto;max-width:auto;bottom:25px;z-index:1;}body:not(.rtl) .elementor-20148 .elementor-element.elementor-element-75e4e713{left:25px;}body.rtl .elementor-20148 .elementor-element.elementor-element-75e4e713{right:25px;}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-wrapper{align-items:center;}.elementor-20148 .elementor-element.elementor-element-75e4e713.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-75e4e713.elementor-view-framed .elementor-icon, .elementor-20148 .elementor-element.elementor-element-75e4e713.elementor-view-default .elementor-icon{fill:var( --e-global-color-8c64e01 );color:var( --e-global-color-8c64e01 );border-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon{font-size:35px;}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title a{font-family:var( --e-global-typography-6dfa8a2-font-family ), Sans-serif;font-size:var( --e-global-typography-6dfa8a2-font-size );font-weight:var( --e-global-typography-6dfa8a2-font-weight );text-transform:var( --e-global-typography-6dfa8a2-text-transform );font-style:var( --e-global-typography-6dfa8a2-font-style );text-decoration:var( --e-global-typography-6dfa8a2-text-decoration );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title{color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-498c2a9d > .elementor-widget-container{border-radius:15px 15px 15px 15px;}.elementor-20148 .elementor-element.elementor-element-498c2a9d .elementor-wrapper{--video-aspect-ratio:1.77777;}.elementor-20148 .elementor-element.elementor-element-498c2a9d .elementor-custom-embed-play i{font-size:0px;}.elementor-20148 .elementor-element.elementor-element-498c2a9d .elementor-custom-embed-play svg{width:0px;height:0px;}.elementor-20148 .elementor-element.elementor-element-524d620c{--display:flex;--flex-direction:row;--container-widget-width:calc( ( 1 - var( --container-widget-flex-grow ) ) * 100% );--container-widget-height:100%;--container-widget-flex-grow:1;--container-widget-align-self:stretch;--flex-wrap-mobile:wrap;--align-items:stretch;--gap:10px 10px;--row-gap:10px;--column-gap:10px;--border-radius:20px 20px 20px 20px;box-shadow:0px 0px 30px 15px rgba(225, 225, 225, 0.15);--padding-top:25px;--padding-bottom:25px;--padding-left:25px;--padding-right:25px;}.elementor-20148 .elementor-element.elementor-element-524d620c:not(.elementor-motion-effects-element-type-background), .elementor-20148 .elementor-element.elementor-element-524d620c > .elementor-motion-effects-container > .elementor-motion-effects-layer{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-a5f037{--display:flex;}.elementor-20148 .elementor-element.elementor-element-76d8fff{width:auto;max-width:auto;bottom:25px;z-index:1;}body:not(.rtl) .elementor-20148 .elementor-element.elementor-element-76d8fff{left:25px;}body.rtl .elementor-20148 .elementor-element.elementor-element-76d8fff{right:25px;}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-wrapper{align-items:center;}.elementor-20148 .elementor-element.elementor-element-76d8fff.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-76d8fff.elementor-view-framed .elementor-icon, .elementor-20148 .elementor-element.elementor-element-76d8fff.elementor-view-default .elementor-icon{fill:var( --e-global-color-8c64e01 );color:var( --e-global-color-8c64e01 );border-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon{font-size:35px;}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title a{font-family:var( --e-global-typography-6dfa8a2-font-family ), Sans-serif;font-size:var( --e-global-typography-6dfa8a2-font-size );font-weight:var( --e-global-typography-6dfa8a2-font-weight );text-transform:var( --e-global-typography-6dfa8a2-text-transform );font-style:var( --e-global-typography-6dfa8a2-font-style );text-decoration:var( --e-global-typography-6dfa8a2-text-decoration );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title{color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8{width:auto;max-width:auto;bottom:25px;z-index:1;}body:not(.rtl) .elementor-20148 .elementor-element.elementor-element-6e9c95a8{left:25px;}body.rtl .elementor-20148 .elementor-element.elementor-element-6e9c95a8{right:25px;}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-wrapper{align-items:center;}.elementor-20148 .elementor-element.elementor-element-6e9c95a8.elementor-view-stacked .elementor-icon{background-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8.elementor-view-framed .elementor-icon, .elementor-20148 .elementor-element.elementor-element-6e9c95a8.elementor-view-default .elementor-icon{fill:var( --e-global-color-8c64e01 );color:var( --e-global-color-8c64e01 );border-color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon{font-size:35px;}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title a{font-family:var( --e-global-typography-6dfa8a2-font-family ), Sans-serif;font-size:var( --e-global-typography-6dfa8a2-font-size );font-weight:var( --e-global-typography-6dfa8a2-font-weight );text-transform:var( --e-global-typography-6dfa8a2-text-transform );font-style:var( --e-global-typography-6dfa8a2-font-style );text-decoration:var( --e-global-typography-6dfa8a2-text-decoration );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title{color:var( --e-global-color-8c64e01 );}.elementor-20148 .elementor-element.elementor-element-2ca6cc39 > .elementor-widget-container{border-radius:15px 15px 15px 15px;}.elementor-20148 .elementor-element.elementor-element-2ca6cc39 .elementor-wrapper{--video-aspect-ratio:1.77777;}.elementor-20148 .elementor-element.elementor-element-2ca6cc39 .elementor-custom-embed-play i{font-size:0px;}.elementor-20148 .elementor-element.elementor-element-2ca6cc39 .elementor-custom-embed-play svg{width:0px;height:0px;}@media(max-width:1370px){.elementor-20148 .elementor-element.elementor-element-2919a9af{--padding-top:20px;--padding-bottom:20px;--padding-left:20px;--padding-right:20px;}.elementor-20148 .elementor-element.elementor-element-524d620c{--padding-top:20px;--padding-bottom:20px;--padding-left:20px;--padding-right:20px;}}@media(max-width:1024px){.elementor-20148 .elementor-element.elementor-element-2919a9af{--padding-top:15px;--padding-bottom:15px;--padding-left:15px;--padding-right:15px;}.elementor-widget-icon-box .elementor-icon-box-title, .elementor-widget-icon-box .elementor-icon-box-title a{font-size:var( --e-global-typography-primary-font-size );line-height:var( --e-global-typography-primary-line-height );letter-spacing:var( --e-global-typography-primary-letter-spacing );}.elementor-widget-icon-box .elementor-icon-box-description{font-size:var( --e-global-typography-text-font-size );line-height:var( --e-global-typography-text-line-height );letter-spacing:var( --e-global-typography-text-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-524d620c{--padding-top:15px;--padding-bottom:15px;--padding-left:15px;--padding-right:15px;}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}}@media(max-width:767px){.elementor-widget-icon-box .elementor-icon-box-title, .elementor-widget-icon-box .elementor-icon-box-title a{font-size:var( --e-global-typography-primary-font-size );line-height:var( --e-global-typography-primary-line-height );letter-spacing:var( --e-global-typography-primary-letter-spacing );}.elementor-widget-icon-box .elementor-icon-box-description{font-size:var( --e-global-typography-text-font-size );line-height:var( --e-global-typography-text-line-height );letter-spacing:var( --e-global-typography-text-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-495b026a{bottom:20px;}.elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-495b026a .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-75e4e713{bottom:20px;--icon-box-icon-margin:0px;}.elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-75e4e713 .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-76d8fff{bottom:20px;}.elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-76d8fff .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}.elementor-20148 .elementor-element.elementor-element-6e9c95a8{bottom:20px;--icon-box-icon-margin:0px;}.elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title, .elementor-20148 .elementor-element.elementor-element-6e9c95a8 .elementor-icon-box-title a{font-size:var( --e-global-typography-6dfa8a2-font-size );line-height:var( --e-global-typography-6dfa8a2-line-height );letter-spacing:var( --e-global-typography-6dfa8a2-letter-spacing );}}<\/style>\t\t<div data-elementor-type=\"loop-item\" data-elementor-id=\"20148\" class=\"elementor elementor-20148 e-loop-item e-loop-item-6522 post-6522 videos type-videos status-publish has-post-thumbnail hentry tag-model-checking product-btc-embeddedvalidator product-btc-embeddedtester-base video_type-product-video\" data-elementor-post-type=\"elementor_library\" data-custom-edit-handle=\"1\">\n\t\t\t<div class=\"elementor-element elementor-element-2919a9af btc-grow btc-video-en e-flex e-con-boxed e-con e-parent\" data-id=\"2919a9af\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-76e2b7ab e-con-full btcc-track-click e-flex e-con e-child\" data-id=\"76e2b7ab\" data-element_type=\"container\" data-target=\"6522\">\n\t\t\t\t<div class=\"elementor-element elementor-element-495b026a elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-mobile elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"495b026a\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tPlay now\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-75e4e713 elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"75e4e713\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-498c2a9d btc-video-en-inner elementor-widget elementor-widget-video\" data-id=\"498c2a9d\" data-element_type=\"widget\" data-settings=\"{&quot;youtube_url&quot;:&quot;https:\\\/\\\/www.youtube.com\\\/watch?v=f4cJ1eINQfY&quot;,&quot;yt_privacy&quot;:&quot;yes&quot;,&quot;lazy_load&quot;:&quot;yes&quot;,&quot;show_image_overlay&quot;:&quot;yes&quot;,&quot;lightbox&quot;:&quot;yes&quot;,&quot;image_overlay&quot;:{&quot;id&quot;:6503,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/FormalVerification_Start-1.webp&quot;},&quot;video_type&quot;:&quot;youtube&quot;,&quot;controls&quot;:&quot;yes&quot;}\" data-target=\"6522\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-wrapper elementor-open-lightbox\">\n\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-image-overlay\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox=\"{&quot;type&quot;:&quot;video&quot;,&quot;videoType&quot;:&quot;youtube&quot;,&quot;url&quot;:&quot;https:\\\/\\\/www.youtube-nocookie.com\\\/embed\\\/f4cJ1eINQfY?feature=oembed&amp;start&amp;end&amp;wmode=opaque&amp;loop=0&amp;controls=1&amp;mute=0&amp;rel=0&amp;cc_load_policy=0&quot;,&quot;autoplay&quot;:&quot;&quot;,&quot;modalOptions&quot;:{&quot;id&quot;:&quot;elementor-lightbox-498c2a9d&quot;,&quot;entranceAnimation&quot;:&quot;&quot;,&quot;entranceAnimation_tablet&quot;:&quot;&quot;,&quot;entranceAnimation_mobile&quot;:&quot;&quot;,&quot;videoAspectRatio&quot;:&quot;169&quot;}}\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJ0eXBlIjoidmlkZW8iLCJ2aWRlb1R5cGUiOiJ5b3V0dWJlIiwidXJsIjoiaHR0cHM6XC9cL3d3dy55b3V0dWJlLW5vY29va2llLmNvbVwvZW1iZWRcL2Y0Y0oxZUlOUWZZP2ZlYXR1cmU9b2VtYmVkJnN0YXJ0JmVuZCZ3bW9kZT1vcGFxdWUmbG9vcD0wJmNvbnRyb2xzPTEmbXV0ZT0wJnJlbD0wJmNjX2xvYWRfcG9saWN5PTAiLCJhdXRvcGxheSI6IiIsIm1vZGFsT3B0aW9ucyI6eyJpZCI6ImVsZW1lbnRvci1saWdodGJveC00OThjMmE5ZCIsImVudHJhbmNlQW5pbWF0aW9uIjoiIiwiZW50cmFuY2VBbmltYXRpb25fdGFibGV0IjoiIiwiZW50cmFuY2VBbmltYXRpb25fbW9iaWxlIjoiIiwidmlkZW9Bc3BlY3RSYXRpbyI6IjE2OSJ9fQ%3D%3D\">\n\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/elementor\/thumbs\/FormalVerification_Start-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"FormalVerification_Start-1\" alt=\"FormalVerification_Start-1\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-play\" role=\"button\" aria-label=\"Video abspielen\" tabindex=\"0\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-play\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M838 162C746 71 633 25 500 25 371 25 258 71 163 162 71 254 25 367 25 500 25 633 71 746 163 837 254 929 367 979 500 979 633 979 746 933 838 837 929 746 975 633 975 500 975 367 929 254 838 162M808 192C892 279 933 379 933 500 933 621 892 725 808 808 725 892 621 938 500 938 379 938 279 896 196 808 113 725 67 621 67 500 67 379 108 279 196 192 279 108 383 62 500 62 621 62 721 108 808 192M438 392V642L642 517 438 392Z\"><\/path><\/svg>\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-524d620c btc-grow btc-video-ch e-flex e-con-boxed e-con e-parent\" data-id=\"524d620c\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-a5f037 e-con-full btcc-track-click e-flex e-con e-child\" data-id=\"a5f037\" data-element_type=\"container\" data-target=\"6522\">\n\t\t\t\t<div class=\"elementor-element elementor-element-76d8fff elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-mobile elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"76d8fff\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t<div class=\"elementor-icon-box-content\">\n\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-icon-box-title\">\n\t\t\t\t\t\t<span  >\n\t\t\t\t\t\t\tPlay now\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6e9c95a8 elementor-position-left elementor-mobile-position-right elementor-widget__width-auto elementor-absolute btc-play-video elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet elementor-view-default elementor-widget elementor-widget-icon-box\" data-id=\"6e9c95a8\" data-element_type=\"widget\" data-settings=\"{&quot;_position&quot;:&quot;absolute&quot;}\" data-widget_type=\"icon-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-box-wrapper\">\n\n\t\t\t\t\t\t<div class=\"elementor-icon-box-icon\">\n\t\t\t\t<span  class=\"elementor-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" id=\"Layer_1\" height=\"512\" viewBox=\"0 0 512 512\" width=\"512\" data-name=\"Layer 1\"><path d=\"m383.048 233.23-172.848-99.795a26.293 26.293 0 0 0 -39.442 22.765v199.6a26.236 26.236 0 0 0 39.442 22.765l172.85-99.8a26.292 26.292 0 0 0 0-45.54zm-180.29 112.679v-179.818l155.728 89.909zm53.242-345.909c-141.159 0-256 114.841-256 256s114.841 256 256 256 256-114.841 256-256-114.841-256-256-256zm0 480c-123.514 0-224-100.486-224-224s100.486-224 224-224 224 100.486 224 224-100.486 224-224 224z\"><\/path><\/svg>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2ca6cc39 btc-video-ch-inner elementor-widget elementor-widget-video\" data-id=\"2ca6cc39\" data-element_type=\"widget\" data-settings=\"{&quot;show_image_overlay&quot;:&quot;yes&quot;,&quot;lightbox&quot;:&quot;yes&quot;,&quot;video_type&quot;:&quot;hosted&quot;,&quot;image_overlay&quot;:{&quot;id&quot;:6503,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/FormalVerification_Start-1.webp&quot;},&quot;controls&quot;:&quot;yes&quot;}\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-hosted-video elementor-wrapper elementor-open-lightbox\">\n\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-image-overlay\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox=\"{&quot;type&quot;:&quot;video&quot;,&quot;videoType&quot;:&quot;hosted&quot;,&quot;url&quot;:&quot;https:\\\/\\\/player.bilibili.com\\\/player.html?aid=813868881&amp;bvid=BV19G4y1i7o1&amp;cid=784299687&amp;page=1&quot;,&quot;autoplay&quot;:&quot;&quot;,&quot;modalOptions&quot;:{&quot;id&quot;:&quot;elementor-lightbox-2ca6cc39&quot;,&quot;entranceAnimation&quot;:&quot;&quot;,&quot;entranceAnimation_tablet&quot;:&quot;&quot;,&quot;entranceAnimation_mobile&quot;:&quot;&quot;,&quot;videoAspectRatio&quot;:&quot;169&quot;},&quot;videoParams&quot;:{&quot;controls&quot;:&quot;&quot;,&quot;preload&quot;:&quot;metadata&quot;,&quot;controlsList&quot;:&quot;nodownload&quot;}}\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJ0eXBlIjoidmlkZW8iLCJ2aWRlb1R5cGUiOiJob3N0ZWQiLCJ1cmwiOiJodHRwczpcL1wvcGxheWVyLmJpbGliaWxpLmNvbVwvcGxheWVyLmh0bWw%2FYWlkPTgxMzg2ODg4MSZhbXA7YnZpZD1CVjE5RzR5MWk3bzEmYW1wO2NpZD03ODQyOTk2ODcmYW1wO3BhZ2U9MSIsImF1dG9wbGF5IjoiIiwibW9kYWxPcHRpb25zIjp7ImlkIjoiZWxlbWVudG9yLWxpZ2h0Ym94LTJjYTZjYzM5IiwiZW50cmFuY2VBbmltYXRpb24iOiIiLCJlbnRyYW5jZUFuaW1hdGlvbl90YWJsZXQiOiIiLCJlbnRyYW5jZUFuaW1hdGlvbl9tb2JpbGUiOiIiLCJ2aWRlb0FzcGVjdFJhdGlvIjoiMTY5In0sInZpZGVvUGFyYW1zIjp7ImNvbnRyb2xzIjoiIiwicHJlbG9hZCI6Im1ldGFkYXRhIiwiY29udHJvbHNMaXN0Ijoibm9kb3dubG9hZCJ9fQ%3D%3D\">\n\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/elementor\/thumbs\/FormalVerification_Start-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"FormalVerification_Start-1\" alt=\"FormalVerification_Start-1\" loading=\"lazy\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-custom-embed-play\" role=\"button\" aria-label=\"Video abspielen\" tabindex=\"0\">\n\t\t\t\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-play\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M838 162C746 71 633 25 500 25 371 25 258 71 163 162 71 254 25 367 25 500 25 633 71 746 163 837 254 929 367 979 500 979 633 979 746 933 838 837 929 746 975 633 975 500 975 367 929 254 838 162M808 192C892 279 933 379 933 500 933 621 892 725 808 808 725 892 621 938 500 938 379 938 279 896 196 808 113 725 67 621 67 500 67 379 108 279 196 192 279 108 383 62 500 62 621 62 721 108 808 192M438 392V642L642 517 438 392Z\"><\/path><\/svg>\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-d7010f9 btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"d7010f9\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-ae7a576 e-con-full e-flex e-con e-child\" data-id=\"ae7a576\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-929ce89 elementor-widget elementor-widget-heading\" data-id=\"929ce89\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Detecting side effects with zero effort<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-05e4fa7 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"05e4fa7\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Formal Test<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-18d5811 elementor-widget elementor-widget-text-editor\" data-id=\"18d5811\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p style=\"font-weight: 400;\">In a traditional requirements-based testing process, each test case is only evaluated against the requirement from which is was derived. But what if test case N\u00b05 violates requirement N\u00b010? Formal Test performs\u00a0an automatic cross check of <u>all<\/u> test cases against <u>all<\/u> formalized requirements. This allows you to detect side effects without any additional testing effort.<\/p><p>Formal Test is available as an Add-on license for BTC EmbeddedTester BASE.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-b9487bc e-con-full e-flex e-con e-child\" data-id=\"b9487bc\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-bcee768 elementor-widget elementor-widget-image\" data-id=\"bcee768\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/07\/Formal-Test-1.png\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox-title=\"Formal Test\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJpZCI6NjI5MSwidXJsIjoiaHR0cHM6XC9cL3d3dy5idGMtZW1iZWRkZWQuY29tXC93cC1jb250ZW50XC91cGxvYWRzXC8yMDIyXC8wN1wvRm9ybWFsLVRlc3QtMS5wbmcifQ%3D%3D\">\n\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"800\" height=\"326\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/07\/Formal-Test-1.png\" class=\"attachment-large size-large wp-image-6291\" alt=\"\" srcset=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/07\/Formal-Test-1.png 2270w, https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/07\/Formal-Test-1-768x313.png 768w, https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/07\/Formal-Test-1-1536x625.png 1536w, https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/07\/Formal-Test-1-2048x834.png 2048w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/>\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-8ec2cb1 e-flex e-con-boxed e-con e-parent\" data-id=\"8ec2cb1\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-dbeb9cc btc-products e-con-full e-flex e-con e-child\" data-id=\"dbeb9cc\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-1adb31e btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"1adb31e\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeInLeft&quot;,&quot;animation_mobile&quot;:&quot;fadeInUp&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-f386966 elementor-widget elementor-widget-heading\" data-id=\"f386966\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">100% Requirements Coverage<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-ff45c6d elementor-widget elementor-widget-heading\" data-id=\"ff45c6d\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Test Generation<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1c4ea62 elementor-widget elementor-widget-text-editor\" data-id=\"1c4ea62\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Formal requirements allow us to obtain a measurable mathematical definition of requirements coverage. Should a particular formal requirement not be fully covered by existing test cases, the <em>Requirements-based Test Generation<\/em> add-on allows generating missing test cases automatically, providing you 100% coverage for all requirements.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-896cfed btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"896cfed\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeInRight&quot;,&quot;animation_mobile&quot;:&quot;fadeInUp&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-1717d30 elementor-widget elementor-widget-heading\" data-id=\"1717d30\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">The power of proof<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b3728c5 elementor-widget elementor-widget-heading\" data-id=\"b3728c5\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Formal Verification<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3ddea33 elementor-widget elementor-widget-text-editor\" data-id=\"3ddea33\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Even with a large number of test cases, it is impossible to cover all potential paths through your software. In other words, one very important question still remains unanswered, even after rigorous testing: \u201cCan my safety requirements be violated?\u201d<\/p><p>Thanks to our unique\u00a0<em>model checking<\/em> technology you can obtain a mathematical proof that a given requirement cannot be violated by your software. In other words\u2013 there is no combination of input signals and calibration values that could ever drive the system to the unsafe state we\u2019re interested in.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-c1a5b09 e-con-full e-flex e-con e-parent\" data-id=\"c1a5b09\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-5c1d054 e-con-full e-flex e-con e-child\" data-id=\"5c1d054\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-d0f22e9 elementor-widget elementor-widget-template\" data-id=\"d0f22e9\" data-element_type=\"widget\" data-widget_type=\"template.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-template\">\n\t\t\t\t\t<div data-elementor-type=\"section\" data-elementor-id=\"7564\" class=\"elementor elementor-7564 elementor-1811\" data-elementor-post-type=\"elementor_library\">\n\t\t\t<div class=\"elementor-element elementor-element-568cf23 elementor-hidden-mobile e-flex e-con-boxed e-con e-parent\" data-id=\"568cf23\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;gradient&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-2b78f43 e-con-full e-flex e-con e-child\" data-id=\"2b78f43\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-cc49550 e-con-full e-flex e-con e-child\" data-id=\"cc49550\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-d850c67 elementor-widget__width-inherit elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"d850c67\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon elementor-animation-grow\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 576 512\"><path d=\"M208 112c-4.094 0-8.188 1.562-11.31 4.688c-6.25 6.25-6.25 16.38 0 22.62l80 80c6.25 6.25 16.38 6.25 22.62 0l80-80c6.25-6.25 6.25-16.38 0-22.62s-16.38-6.25-22.62 0L304 169.4V16C304 7.156 296.8 0 288 0S272 7.156 272 16v153.4L219.3 116.7C216.2 113.6 212.1 112 208 112zM512 0h-144C359.2 0 352 7.162 352 16C352 24.84 359.2 32 368 32H512c17.67 0 32 14.33 32 32v192H32V64c0-17.67 14.33-32 32-32h144C216.8 32 224 24.84 224 16C224 7.162 216.8 0 208 0H64C28.65 0 0 28.65 0 64v288c0 35.35 28.65 64 64 64h149.7l-19.2 64H144C135.2 480 128 487.2 128 496S135.2 512 144 512h288c8.836 0 16-7.164 16-16S440.8 480 432 480h-50.49l-19.2-64H512c35.35 0 64-28.65 64-64V64C576 28.65 547.3 0 512 0zM227.9 480l19.2-64h81.79l19.2 64H227.9zM544 352c0 17.64-14.36 32-32 32H64c-17.64 0-32-14.36-32-32V288h512V352z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-edaf7ff animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"edaf7ff\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Evaluierungs Lizenz<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-64e02ca elementor-widget elementor-widget-text-editor\" data-id=\"64e02ca\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Sie m\u00f6chten unsere Tools in Ihrer Entwicklungsumgebung testen? Gerne stellen wir Ihnen eine kostenfreie Evaluierungslizenz zur Verf\u00fcgung., inkl. Kick-Off Trainings-Workshop und Support durch unser Team.<\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-e56580d elementor-widget elementor-widget-button\" data-id=\"e56580d\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/evaluierungslizenz\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Lizenz beantragen<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-9a0f643 e-con-full e-flex e-con e-child\" data-id=\"9a0f643\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-d735b75 elementor-widget__width-inherit elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"d735b75\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon elementor-animation-grow\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 576 512\"><path d=\"M446.8 310.1c1.617-3.91 1.617-8.309 0-12.22c-.8145-1.969-1.992-3.742-3.477-5.223l-63.98-63.98c-6.25-6.25-16.38-6.25-22.62 0s-6.25 16.38 0 22.62L393.4 288H182.6l36.69-36.69c6.25-6.25 6.25-16.38 0-22.62s-16.38-6.25-22.62 0L132.7 292.7C131.2 294.1 130 295.9 129.2 297.9c-1.617 3.91-1.617 8.309 0 12.22C130 312.1 131.2 313.9 132.7 315.3l63.98 63.98C199.8 382.4 203.9 384 208 384s8.188-1.562 11.31-4.688c6.25-6.25 6.25-16.38 0-22.62L182.6 320h210.8l-36.69 36.69c-6.25 6.25-6.25 16.38 0 22.62C359.8 382.4 363.9 384 368 384s8.188-1.562 11.31-4.688l63.98-63.98C444.8 313.9 445.1 312.1 446.8 310.1zM96 128c35.38 0 64-28.62 64-64S131.4 0 96 0S32 28.62 32 64S60.63 128 96 128zM96 32c17.64 0 32 14.36 32 32S113.6 96 96 96S64 81.64 64 64S78.36 32 96 32zM144 384C135.2 384 128 391.2 128 400v96C128 504.8 135.2 512 144 512S160 504.8 160 496v-96C160 391.2 152.8 384 144 384zM137.8 216.3C142.3 223.7 151.9 226.2 159.4 221.8c7.656-4.422 10.28-14.2 5.844-21.86C151 175.3 124.5 160 96 160H80C35.82 160 0 195.8 0 240V320c0 17.67 14.33 32 31.1 32L32 496C32 504.8 39.16 512 48 512S64 504.8 64 496v-160C64 327.2 56.84 320 48 320H32V240c0-26.51 21.49-47.1 48-47.1l19.27 0C115.7 192 129.2 202.2 137.8 216.3zM480 128c35.38 0 64-28.62 64-64s-28.62-64-64-64s-64 28.62-64 64S444.6 128 480 128zM480 32c17.64 0 32 14.36 32 32s-14.36 32-32 32s-32-14.36-32-32S462.4 32 480 32zM432 384c-8.844 0-16 7.156-16 16v96c0 8.844 7.156 16 16 16s16-7.156 16-16v-96C448 391.2 440.8 384 432 384zM496 160H480c-28.47 0-55.03 15.31-69.28 39.97c-4.438 7.656-1.812 17.44 5.844 21.86c7.499 4.413 17.16 1.908 21.68-5.544c8.507-14.05 22.01-24.28 38.43-24.28L496 192C522.5 192 544 213.5 544 240V320h-16c-8.837 0-16 7.163-16 16v160c0 8.844 7.156 16 16 16s16-7.156 16-16V352c17.67 0 32-14.33 32-32V240C576 195.8 540.2 160 496 160z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-7157147 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"7157147\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Buchen Sie ein Meeting mit unserem Engineering Team<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-87bb1e4 elementor-widget elementor-widget-text-editor\" data-id=\"87bb1e4\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Sie haben Fragen oder Interesse an einer pers\u00f6nlichen Tool Demo? Nutzen Sie unten stehenden Link, um ein unverbindliches Meeting mit unserem Engineering Team zu buchen. <\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-cbdbc67 elementor-widget elementor-widget-button\" data-id=\"cbdbc67\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/outlook.office365.com\/owa\/calendar\/Meetings@btc-es.online\/bookings\/s\/9XMbCGKfOUWavtTHY7Uhrw2\" target=\"_blank\" rel=\"noopener\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 26<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-91.000000, -964.000000)\"><g id=\"Group-26\" transform=\"translate(91.000000, 964.000000)\"><g id=\"Group-4\" fill=\"#FFFFFF\"><circle id=\"Oval-Copy-3\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><\/g><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#1D5781\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Meeting buchen<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-f4d2517 elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet e-flex e-con-boxed e-con e-parent\" data-id=\"f4d2517\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-049881e e-con-full e-flex e-con e-child\" data-id=\"049881e\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-dd47f25 elementor-widget__width-inherit elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"dd47f25\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon elementor-animation-grow\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 576 512\"><path d=\"M208 112c-4.094 0-8.188 1.562-11.31 4.688c-6.25 6.25-6.25 16.38 0 22.62l80 80c6.25 6.25 16.38 6.25 22.62 0l80-80c6.25-6.25 6.25-16.38 0-22.62s-16.38-6.25-22.62 0L304 169.4V16C304 7.156 296.8 0 288 0S272 7.156 272 16v153.4L219.3 116.7C216.2 113.6 212.1 112 208 112zM512 0h-144C359.2 0 352 7.162 352 16C352 24.84 359.2 32 368 32H512c17.67 0 32 14.33 32 32v192H32V64c0-17.67 14.33-32 32-32h144C216.8 32 224 24.84 224 16C224 7.162 216.8 0 208 0H64C28.65 0 0 28.65 0 64v288c0 35.35 28.65 64 64 64h149.7l-19.2 64H144C135.2 480 128 487.2 128 496S135.2 512 144 512h288c8.836 0 16-7.164 16-16S440.8 480 432 480h-50.49l-19.2-64H512c35.35 0 64-28.65 64-64V64C576 28.65 547.3 0 512 0zM227.9 480l19.2-64h81.79l19.2 64H227.9zM544 352c0 17.64-14.36 32-32 32H64c-17.64 0-32-14.36-32-32V288h512V352z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2fcf3fe animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"2fcf3fe\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Evaluierungs Lizenz<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-cae06c7 elementor-widget elementor-widget-text-editor\" data-id=\"cae06c7\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Sie m\u00f6chten unsere Tools in Ihrer Entwicklungsumgebung testen? Gerne stellen wir Ihnen eine kostenfreie Evaluierungslizenz zur Verf\u00fcgung., inkl. Kick-Off Trainings-Workshop und Support durch unser Team.<\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-84b5dac elementor-widget elementor-widget-button\" data-id=\"84b5dac\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/www.btc-embedded.com\/de\/evaluierungslizenz\/\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 6<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-337.000000, -964.000000)\"><g id=\"Group-6\" transform=\"translate(337.000000, 964.000000)\"><circle id=\"Oval\" fill=\"#38C99E\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#FFFFFF\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Lizenz beantragen<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-850d279 elementor-hidden-desktop elementor-hidden-tablet_extra elementor-hidden-tablet e-flex e-con-boxed e-con e-parent\" data-id=\"850d279\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-8782faa e-con-full e-flex e-con e-child\" data-id=\"8782faa\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-f17bbbe elementor-widget__width-inherit elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"f17bbbe\" data-element_type=\"widget\" data-widget_type=\"icon.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-icon-wrapper\">\n\t\t\t<div class=\"elementor-icon elementor-animation-grow\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 576 512\"><path d=\"M446.8 310.1c1.617-3.91 1.617-8.309 0-12.22c-.8145-1.969-1.992-3.742-3.477-5.223l-63.98-63.98c-6.25-6.25-16.38-6.25-22.62 0s-6.25 16.38 0 22.62L393.4 288H182.6l36.69-36.69c6.25-6.25 6.25-16.38 0-22.62s-16.38-6.25-22.62 0L132.7 292.7C131.2 294.1 130 295.9 129.2 297.9c-1.617 3.91-1.617 8.309 0 12.22C130 312.1 131.2 313.9 132.7 315.3l63.98 63.98C199.8 382.4 203.9 384 208 384s8.188-1.562 11.31-4.688c6.25-6.25 6.25-16.38 0-22.62L182.6 320h210.8l-36.69 36.69c-6.25 6.25-6.25 16.38 0 22.62C359.8 382.4 363.9 384 368 384s8.188-1.562 11.31-4.688l63.98-63.98C444.8 313.9 445.1 312.1 446.8 310.1zM96 128c35.38 0 64-28.62 64-64S131.4 0 96 0S32 28.62 32 64S60.63 128 96 128zM96 32c17.64 0 32 14.36 32 32S113.6 96 96 96S64 81.64 64 64S78.36 32 96 32zM144 384C135.2 384 128 391.2 128 400v96C128 504.8 135.2 512 144 512S160 504.8 160 496v-96C160 391.2 152.8 384 144 384zM137.8 216.3C142.3 223.7 151.9 226.2 159.4 221.8c7.656-4.422 10.28-14.2 5.844-21.86C151 175.3 124.5 160 96 160H80C35.82 160 0 195.8 0 240V320c0 17.67 14.33 32 31.1 32L32 496C32 504.8 39.16 512 48 512S64 504.8 64 496v-160C64 327.2 56.84 320 48 320H32V240c0-26.51 21.49-47.1 48-47.1l19.27 0C115.7 192 129.2 202.2 137.8 216.3zM480 128c35.38 0 64-28.62 64-64s-28.62-64-64-64s-64 28.62-64 64S444.6 128 480 128zM480 32c17.64 0 32 14.36 32 32s-14.36 32-32 32s-32-14.36-32-32S462.4 32 480 32zM432 384c-8.844 0-16 7.156-16 16v96c0 8.844 7.156 16 16 16s16-7.156 16-16v-96C448 391.2 440.8 384 432 384zM496 160H480c-28.47 0-55.03 15.31-69.28 39.97c-4.438 7.656-1.812 17.44 5.844 21.86c7.499 4.413 17.16 1.908 21.68-5.544c8.507-14.05 22.01-24.28 38.43-24.28L496 192C522.5 192 544 213.5 544 240V320h-16c-8.837 0-16 7.163-16 16v160c0 8.844 7.156 16 16 16s16-7.156 16-16V352c17.67 0 32-14.33 32-32V240C576 195.8 540.2 160 496 160z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c82da37 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"c82da37\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Buchen Sie ein Meeting mit unserem Engineering Team<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9a09814 elementor-widget elementor-widget-text-editor\" data-id=\"9a09814\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Sie haben Fragen oder Interesse an einer pers\u00f6nlichen Tool Demo? Nutzen Sie unten stehenden Link, um ein unverbindliches Meeting mit unserem Engineering Team zu buchen. <\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2e98e4f elementor-widget elementor-widget-button\" data-id=\"2e98e4f\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-xs elementor-animation-sink\" href=\"https:\/\/outlook.office365.com\/owa\/calendar\/Meetings@btc-es.online\/bookings\/s\/9XMbCGKfOUWavtTHY7Uhrw2\" target=\"_blank\" rel=\"noopener\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-icon\">\n\t\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"45px\" height=\"45px\" viewBox=\"0 0 45 45\"><title>Group 26<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Start\" transform=\"translate(-91.000000, -964.000000)\"><g id=\"Group-26\" transform=\"translate(91.000000, 964.000000)\"><g id=\"Group-4\" fill=\"#FFFFFF\"><circle id=\"Oval-Copy-3\" cx=\"22.5\" cy=\"22.5\" r=\"22.5\"><\/circle><\/g><g id=\"next\" transform=\"translate(19.000000, 17.000000)\" fill=\"#1D5781\" fill-rule=\"nonzero\"><path d=\"M6.85231276,5.67070308 L0.857334624,0.135700092 C0.660916158,-0.0455414255 0.342910131,-0.0452367391 0.146820759,0.136637589 C-0.0491167226,0.318488479 -0.0486104242,0.613073328 0.147833356,0.79445547 L5.78597237,6.00002217 L0.147630837,11.2055654 C-0.0487876286,11.386971 -0.049293927,11.6813684 0.14661824,11.8632427 C0.244916075,11.9544142 0.373693074,12 0.502470073,12 C0.630917978,12 0.759188678,11.9547189 0.857309309,11.8641802 L6.85231276,6.32931783 C6.94691461,6.24217753 7,6.12358422 7,6.00002217 C7,5.87646013 6.94676272,5.75800744 6.85231276,5.67070308 Z\" id=\"Path\"><\/path><\/g><\/g><\/g><\/g><\/svg>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Meeting buchen<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-a021361 btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"a021361\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-bc4e432 e-flex e-con-boxed e-con e-child\" data-id=\"bc4e432\" data-element_type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t\t\t<div class=\"elementor-element elementor-element-3737405 elementor-widget elementor-widget-heading\" data-id=\"3737405\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">BTC EMBEDDED SYSTEMS BLOG<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a3cecc5 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"a3cecc5\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">From our Blog<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f06a7ac elementor-widget elementor-widget-text-editor\" data-id=\"f06a7ac\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\tSharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-83aefba e-con-full e-flex e-con e-child\" data-id=\"83aefba\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-0706b47 btc-carousel-paginated right elementor-arrows-position-inside elementor-widget elementor-widget-loop-carousel\" data-id=\"0706b47\" data-element_type=\"widget\" data-settings=\"{&quot;template_id&quot;:20140,&quot;slides_to_show&quot;:&quot;2&quot;,&quot;slides_to_show_tablet_extra&quot;:&quot;1&quot;,&quot;slides_to_show_tablet&quot;:&quot;1&quot;,&quot;image_spacing_custom&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:90,&quot;sizes&quot;:[]},&quot;_skin&quot;:&quot;post&quot;,&quot;slides_to_show_mobile&quot;:&quot;1&quot;,&quot;slides_to_scroll&quot;:&quot;1&quot;,&quot;edit_handle_selector&quot;:&quot;.elementor-loop-container&quot;,&quot;infinite&quot;:&quot;yes&quot;,&quot;speed&quot;:500,&quot;offset_sides&quot;:&quot;none&quot;,&quot;arrows&quot;:&quot;yes&quot;,&quot;image_spacing_custom_tablet_extra&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;image_spacing_custom_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;image_spacing_custom_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"loop-carousel.post\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"e-loop-nothing-found-message\">\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-b605ecd e-flex e-con-boxed e-con e-parent\" data-id=\"b605ecd\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-a29a060 e-con-full e-flex e-con e-child\" data-id=\"a29a060\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-df0f4ed e-con-full e-flex e-con e-child\" data-id=\"df0f4ed\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-5a6a3c4 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"5a6a3c4\" data-element_type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeInUp&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">BTC EmbeddedValidator<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-70a3f1e elementor-widget elementor-widget-text-editor\" data-id=\"70a3f1e\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>The power of proof for safety-critical systems<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-127f5a7 e-con-full e-flex e-con e-child\" data-id=\"127f5a7\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-03978ec elementor-align-right elementor-mobile-align-center elementor-widget elementor-widget-button\" data-id=\"03978ec\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm elementor-animation-grow\" href=\"\/btc-embeddedvalidator\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Product details<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"featured_media":0,"template":"","class_list":["post-4723","use_cases","type-use_cases","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/use_cases\/4723"}],"collection":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/use_cases"}],"about":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/types\/use_cases"}],"version-history":[{"count":14,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/use_cases\/4723\/revisions"}],"predecessor-version":[{"id":21047,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/use_cases\/4723\/revisions\/21047"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/media?parent=4723"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}