{"id":9839,"date":"2022-06-29T11:16:08","date_gmt":"2022-06-29T09:16:08","guid":{"rendered":"https:\/\/www.btc-embedded.com\/products\/btc-embeddedspecifier\/"},"modified":"2025-04-15T18:38:19","modified_gmt":"2025-04-15T16:38:19","slug":"btc-embeddedspecifier","status":"publish","type":"products","link":"https:\/\/www.btc-embedded.com\/de\/products\/btc-embeddedspecifier\/","title":{"rendered":"BTC EmbeddedSpecifier"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"9839\" class=\"elementor elementor-9839 elementor-3803\" data-elementor-post-type=\"products\">\n\t\t\t\t<div class=\"elementor-element elementor-element-65935f6 btc-hero e-flex e-con-boxed e-con e-parent\" data-id=\"65935f6\" 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-0fd5c3a e-con-full e-flex e-con e-child\" data-id=\"0fd5c3a\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-0e552ac elementor-widget elementor-widget-heading\" data-id=\"0e552ac\" 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\">PRODUKTE<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1c77803 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"1c77803\" 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\">BTC EmbeddedSpecifier<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0a0f403 elementor-widget elementor-widget-text-editor\" data-id=\"0a0f403\" 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>Intuitive Formale Spezifikation von Anforderungen<\/p>\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-4a58aa8 e-flex e-con-boxed e-con e-parent\" data-id=\"4a58aa8\" 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-697dbf1 btc-products e-con-full e-flex e-con e-child\" data-id=\"697dbf1\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-f2e2966 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"f2e2966\" 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-53303b9 elementor-widget elementor-widget-heading\" data-id=\"53303b9\" 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\">MIT LEICHTIGKEIT IN DIE FORMALE WELT<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6579758 elementor-widget elementor-widget-heading\" data-id=\"6579758\" 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\">Was w\u00e4re, wenn Ihr Computer Ihre Anforderungen versteht?<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-8ae7657 elementor-widget elementor-widget-text-editor\" data-id=\"8ae7657\" 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>BTC EmbeddedSpecifier erm\u00f6glicht Ihnen die intuitive Erstellung und Verwaltung von semi-formalen und formalen Anforderungen in sicherheitskritischen Projekten.<\/p>\n<p>W\u00e4hrend die semi-formale und formale Beschreibung von Anforderungen im <a href=\"https:\/\/www.iso.org\/standard\/43464.html\" target=\"_blank\" rel=\"noopener\">ISO 26262<\/a> und IEC 61508 Standard empfohlen wird, ist f\u00fcr das Lesen und Schreiben der Anforderungen in den meisten formalen Beschreibungssprachen ein umfangreiches Expertenwissen notwendig. BTC EmbeddedSpecifier bietet Ihnen eine einfach zu nutzende Methode, um informelle Anforderungen intuitive in formalisierte Anforderungen zu \u00fcberf\u00fchren.<\/p>\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-e846b40 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"e846b40\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeInRight&quot;,&quot;animation_mobile&quot;:&quot;fadeInUp&quot;,&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-0a9892d elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"0a9892d\" 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\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"35px\" height=\"35px\" viewBox=\"0 0 35 35\"><title>info (3)<\/title><g id=\"Page-1-Copy\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Produktseite\" transform=\"translate(-1533.000000, -1099.000000)\" fill=\"#63718E\" fill-rule=\"nonzero\"><g id=\"Group-10\" transform=\"translate(978.000000, 1072.000000)\"><g id=\"info-(3)\" transform=\"translate(555.000000, 27.000000)\"><path d=\"M17.5,0 C7.82776367,0 0,7.826875 0,17.5 C0,27.1720996 7.826875,35 17.5,35 C27.1722363,35 35,27.173125 35,17.5 C35,7.82790039 27.173125,0 17.5,0 Z M19.2970996,24.446748 C19.2970996,24.9996387 18.4908691,25.5523926 17.5003418,25.5523926 C16.4637402,25.5523926 15.7266895,24.9996387 15.7266895,24.446748 L15.7266895,15.670293 C15.7266895,15.0253223 16.4638086,14.5875488 17.5003418,14.5875488 C18.4908691,14.5875488 19.2970996,15.0253223 19.2970996,15.670293 L19.2970996,24.446748 Z M17.5004102,12.4684766 C16.4407715,12.4684766 15.6115723,11.6852832 15.6115723,10.809873 C15.6115723,9.93453125 16.4408398,9.174375 17.5004102,9.174375 C18.5370117,9.174375 19.3663477,9.93453125 19.3663477,10.809873 C19.3663477,11.6852832 18.5369434,12.4684766 17.5004102,12.4684766 Z\" id=\"Shape\"><\/path><\/g><\/g><\/g><\/g><\/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-b00ec8a elementor-widget elementor-widget-heading\" data-id=\"b00ec8a\" 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\">Formale Anforderungen = Bessere Anforderungen<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0e11776 elementor-widget elementor-widget-text-editor\" data-id=\"0e11776\" 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>In heutigen Entwicklungsprojekten werden Anforderungen in der Regel in einer informellen, nat\u00fcrlichen Sprache beschrieben. Da nat\u00fcrliche Sprache einen gewissen Interpretationsspielraum mit sich bringt, kann es vorkommen, dass Funktionsentwickler oder Testingenieure ein anderes Verhalten implementieren, als urspr\u00fcnglich geplant war. Mit Hilfe einer semi-formalen oder formalen Beschreibung im BTC EmbeddedSpecifier werden Anforderungen in eine klare, eindeutige und maschinenlesbare Darstellung \u00fcberf\u00fchrt. Dies erh\u00f6ht zum Einen die Qualit\u00e4t der Anforderungen und steigert zus\u00e4tzlich ihren Wert f\u00fcr die weitere Verwendung im Entwicklungsprozess.<\/p>\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<div class=\"elementor-element elementor-element-0587d17 elementor-widget elementor-widget-image\" data-id=\"0587d17\" 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\/06\/UP-Editor.png\" data-elementor-open-lightbox=\"yes\" data-elementor-lightbox-title=\"UP Editor\" data-e-action-hash=\"#elementor-action%3Aaction%3Dlightbox%26settings%3DeyJpZCI6NzAwMCwidXJsIjoiaHR0cHM6XC9cL3d3dy5idGMtZW1iZWRkZWQuY29tXC93cC1jb250ZW50XC91cGxvYWRzXC8yMDIyXC8wNlwvVVAtRWRpdG9yLnBuZyJ9\">\n\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"800\" height=\"501\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/06\/UP-Editor.png\" class=\"attachment-large size-large wp-image-7000\" alt=\"\" srcset=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/06\/UP-Editor.png 2280w, https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/06\/UP-Editor-768x481.png 768w, https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/06\/UP-Editor-1536x962.png 1536w, https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/06\/UP-Editor-2048x1283.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\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-912a2d3 btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"912a2d3\" 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-ecfff9a e-flex e-con-boxed e-con e-child\" data-id=\"ecfff9a\" 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-c22189f elementor-widget elementor-widget-heading\" data-id=\"c22189f\" 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\">INTUITIVE GRAFISCHE SPRACHE<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f228dfb animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"f228dfb\" 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\">Universal Pattern<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-859fad6 elementor-widget elementor-widget-text-editor\" data-id=\"859fad6\" 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>Wir sehen insbesondere zwei Gr\u00fcnde, weshalb die formale Beschreibung von Anforderungen bislang noch keine besonders gro\u00dfe Akzeptanz in Softwareentwicklungsprojekten f\u00fcr eingebettete Systeme gefunden hat.<\/p>\n\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-e3c7ed2 e-con-full e-flex e-con e-child\" data-id=\"e3c7ed2\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-77cb1c2 e-con-full e-flex e-con e-child\" data-id=\"77cb1c2\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6971d7f elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"6971d7f\" 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\">\n\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-fas-user-times\" viewBox=\"0 0 640 512\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M589.6 240l45.6-45.6c6.3-6.3 6.3-16.5 0-22.8l-22.8-22.8c-6.3-6.3-16.5-6.3-22.8 0L544 194.4l-45.6-45.6c-6.3-6.3-16.5-6.3-22.8 0l-22.8 22.8c-6.3 6.3-6.3 16.5 0 22.8l45.6 45.6-45.6 45.6c-6.3 6.3-6.3 16.5 0 22.8l22.8 22.8c6.3 6.3 16.5 6.3 22.8 0l45.6-45.6 45.6 45.6c6.3 6.3 16.5 6.3 22.8 0l22.8-22.8c6.3-6.3 6.3-16.5 0-22.8L589.6 240zM224 256c70.7 0 128-57.3 128-128S294.7 0 224 0 96 57.3 96 128s57.3 128 128 128zm89.6 32h-16.7c-22.2 10.2-46.9 16-72.9 16s-50.6-5.8-72.9-16h-16.7C60.2 288 0 348.2 0 422.4V464c0 26.5 21.5 48 48 48h352c26.5 0 48-21.5 48-48v-41.6c0-74.2-60.2-134.4-134.4-134.4z\"><\/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-d4a8c30 elementor-widget elementor-widget-text-editor\" data-id=\"d4a8c30\" 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>Der Umgang mit formalen Sprachen wie LTL als zu schwierig wahrgenommen<\/p>\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-6803a90 e-con-full e-flex e-con e-child\" data-id=\"6803a90\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-b23ab21 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"b23ab21\" 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\">\n\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-fas-arrows-alt-h\" viewBox=\"0 0 512 512\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M377.941 169.941V216H134.059v-46.059c0-21.382-25.851-32.09-40.971-16.971L7.029 239.029c-9.373 9.373-9.373 24.568 0 33.941l86.059 86.059c15.119 15.119 40.971 4.411 40.971-16.971V296h243.882v46.059c0 21.382 25.851 32.09 40.971 16.971l86.059-86.059c9.373-9.373 9.373-24.568 0-33.941l-86.059-86.059c-15.119-15.12-40.971-4.412-40.971 16.97z\"><\/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-f060363 elementor-widget elementor-widget-text-editor\" data-id=\"f060363\" 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>Die Nachverfolgbarkeit zu vorhandenen informalen Anforderungen ist h\u00e4ufig nicht gegeben.<\/p>\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<div class=\"elementor-element elementor-element-efc5c0f e-flex e-con-boxed e-con e-child\" data-id=\"efc5c0f\" 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-041a555 elementor-widget elementor-widget-text-editor\" data-id=\"041a555\" 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>Mit Universal Pattern adressieren wir beide Punkte in einer effizienten Art. Die graphische Darstellung ist gleichzeitig Editor und Report, so dass sich die formalen Anforderungen einfach erstellen, verstehen und reviewen lassen. Man k\u00f6nnte es \u201cModel-based Requirements-Engineering\u201d nennen. Ein typischer Formalisierungsprozess startet mit einer informalen Anforderdung und gliedert sich in drei Schritte:<\/p>\n\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-276cc1a e-con-full e-flex e-con e-child\" data-id=\"276cc1a\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-5e0388f e-con-full e-flex e-con e-child\" data-id=\"5e0388f\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-31eb6e9 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"31eb6e9\" 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\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"262px\" height=\"262px\" viewBox=\"0 0 262 262\"><title>Group<\/title><g id=\"Page-1\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Artboard\" transform=\"translate(-240.000000, -114.000000)\"><g id=\"Group\" transform=\"translate(240.000000, 114.000000)\"><circle id=\"Oval\" fill=\"#FFFFFF\" cx=\"131\" cy=\"131\" r=\"131\"><\/circle><path d=\"M142.808239,186 L142.808239,76.9090909 L129.598011,76.9090909 L102.325284,95.0198864 L102.325284,108.443182 L128.958807,90.7585227 L129.598011,90.7585227 L129.598011,186 L142.808239,186 Z\" id=\"1\" fill=\"#20184E\" fill-rule=\"nonzero\"><\/path><\/g><\/g><\/g><\/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-5a2cce6 elementor-widget elementor-widget-text-editor\" data-id=\"5a2cce6\" 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>Im ersten Schritt werden individuelle Ausdr\u00fccke oder Ereignisse als sogenannte Makros im Text identifiziert.<\/p>\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-b86e8ba e-con-full e-flex e-con e-child\" data-id=\"b86e8ba\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-ead7141 elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"ead7141\" 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\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"262px\" height=\"262px\" viewBox=\"0 0 262 262\"><title>Group Copy 2<\/title><g id=\"Page-1\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Artboard\" transform=\"translate(-566.000000, -114.000000)\"><g id=\"Group-Copy-2\" transform=\"translate(566.000000, 114.000000)\"><circle id=\"Oval\" fill=\"#FFFFFF\" cx=\"131\" cy=\"131\" r=\"131\"><\/circle><path d=\"M164.730114,186 L164.730114,174.28125 L114.019886,174.28125 L114.019886,173.428977 L138.522727,147.221591 C144.772727,140.509943 149.664418,134.819247 153.197798,130.149503 C156.731179,125.479759 159.216974,121.236151 160.655185,117.418679 C162.093395,113.601207 162.8125,109.68608 162.8125,105.673295 C162.8125,100.0625 161.409801,94.9666193 158.604403,90.3856534 C155.799006,85.8046875 151.928267,82.1647727 146.992188,79.4659091 C142.056108,76.7670455 136.392045,75.4176136 130,75.4176136 C123.643466,75.4176136 117.917259,76.7670455 112.821378,79.4659091 C107.725497,82.1647727 103.703835,85.9289773 100.756392,90.7585227 C97.8089489,95.5880682 96.3352273,101.198864 96.3352273,107.590909 L96.3352273,107.590909 L108.90625,107.590909 C108.90625,103.43608 109.749645,99.8139205 111.436435,96.7244318 C113.123224,93.6349432 115.520241,91.2290483 118.627486,89.5067472 C121.73473,87.784446 125.383523,86.9232955 129.573864,86.9232955 C133.515625,86.9232955 137.066761,87.6867898 140.227273,89.2137784 C143.387784,90.740767 145.882457,92.9069602 147.711293,95.712358 C149.540128,98.5177557 150.454545,101.838068 150.454545,105.673295 C150.454545,109.011364 149.788707,112.198509 148.457031,115.23473 C147.125355,118.270952 145.09233,121.502486 142.357955,124.929332 C139.62358,128.356179 136.143466,132.377841 131.917614,136.994318 L131.917614,136.994318 L95.9090909,176.411932 L95.9090909,186 L164.730114,186 Z\" id=\"2\" fill=\"#20184E\" fill-rule=\"nonzero\"><\/path><\/g><\/g><\/g><\/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-444b5e2 elementor-widget elementor-widget-text-editor\" data-id=\"444b5e2\" 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>Im zweiten Schritt werden diese Makros strukturiert, um deren Beziehung und zeitliches Verhalten abzubilden.<\/p>\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-9054267 e-con-full e-flex e-con e-child\" data-id=\"9054267\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-02d8dba elementor-view-default elementor-widget elementor-widget-icon\" data-id=\"02d8dba\" 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\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" width=\"262px\" height=\"262px\" viewBox=\"0 0 262 262\"><title>Group Copy 3<\/title><g id=\"Page-1\" stroke=\"none\" stroke-width=\"1\" fill=\"none\" fill-rule=\"evenodd\"><g id=\"Artboard\" transform=\"translate(-917.000000, -114.000000)\"><g id=\"Group-Copy-3\" transform=\"translate(917.000000, 114.000000)\"><circle id=\"Oval\" fill=\"#FFFFFF\" cx=\"131\" cy=\"131\" r=\"131\"><\/circle><path d=\"M130.426136,187.491477 C137.492898,187.491477 143.796165,186.142045 149.335938,183.443182 C154.87571,180.744318 159.252486,177.042259 162.466264,172.337003 C165.680043,167.631747 167.286932,162.31392 167.286932,156.383523 C167.286932,149.458807 165.351562,143.643821 161.480824,138.938565 C157.610085,134.23331 152.230114,131.3125 145.340909,130.176136 L145.340909,130.176136 L145.340909,129.323864 C150.84517,127.65483 155.20419,124.654119 158.417969,120.321733 C161.631747,115.989347 163.238636,110.75142 163.238636,104.607955 C163.238636,99.4588068 161.942472,94.6647727 159.350142,90.2258523 C156.757812,85.7869318 153.046875,82.2091619 148.21733,79.4925426 C143.387784,76.7759233 137.599432,75.4176136 130.852273,75.4176136 C124.566761,75.4176136 118.805043,76.625 113.567116,79.0397727 C108.32919,81.4545455 104.09446,84.8192472 100.862926,89.1338778 C97.631392,93.4485085 95.9090909,98.4644886 95.6960227,104.181818 L95.6960227,104.181818 L108.480114,104.181818 C108.65767,100.559659 109.794034,97.4612926 111.889205,94.8867188 C113.984375,92.3121449 116.692116,90.3412642 120.012429,88.9740767 C123.332741,87.6068892 126.875,86.9232955 130.639205,86.9232955 C134.651989,86.9232955 138.14098,87.6867898 141.106179,89.2137784 C144.071378,90.740767 146.370739,92.8714489 148.004261,95.6058239 C149.637784,98.3401989 150.454545,101.553977 150.454545,105.247159 C150.454545,109.082386 149.522372,112.420455 147.658026,115.261364 C145.793679,118.102273 143.219105,120.303977 139.934304,121.866477 C136.649503,123.428977 132.840909,124.210227 128.508523,124.210227 L128.508523,124.210227 L119.772727,124.210227 L119.772727,135.928977 L128.508523,135.928977 C134.048295,135.928977 138.735795,136.799006 142.571023,138.539062 C146.40625,140.279119 149.318182,142.685014 151.306818,145.756747 C153.295455,148.82848 154.289773,152.370739 154.289773,156.383523 C154.289773,160.21875 153.259943,163.59233 151.200284,166.504261 C149.140625,169.416193 146.299716,171.68892 142.677557,173.322443 C139.055398,174.955966 134.900568,175.772727 130.213068,175.772727 C126.022727,175.772727 122.205256,175.080256 118.760653,173.695312 C115.316051,172.310369 112.528409,170.348366 110.397727,167.809304 C108.267045,165.270241 107.059659,162.242898 106.775568,158.727273 L106.775568,158.727273 L93.3522727,158.727273 C93.6363636,164.444602 95.3852983,169.460582 98.5990767,173.775213 C101.812855,178.089844 106.162997,181.454545 111.649503,183.869318 C117.136009,186.284091 123.394886,187.491477 130.426136,187.491477 Z\" id=\"3\" fill=\"#20184E\" fill-rule=\"nonzero\"><\/path><\/g><\/g><\/g><\/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-d94c789 elementor-widget elementor-widget-text-editor\" data-id=\"d94c789\" 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>Im letzten Schritt werden die Makros mit echten Interfaceobjekten des zu testenden Systems verkn\u00fcpft und sind damit maschinenlesbar.<\/p>\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-1d35358 btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"1d35358\" 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-8a32f69 e-con-full e-flex e-con e-child\" data-id=\"8a32f69\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-6263724 e-con-full e-flex e-con e-child\" data-id=\"6263724\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-cf0544c elementor-widget elementor-widget-heading\" data-id=\"cf0544c\" 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\">ENDLICH EINE MESSBARE METRIK<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9b2ccc6 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"9b2ccc6\" 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\">Requirement Coverage<\/h3>\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-ed0d097 e-con-full e-flex e-con e-child\" data-id=\"ed0d097\" data-element_type=\"container\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t<div class=\"elementor-element elementor-element-91d0d5c e-con-full e-flex e-con e-child\" data-id=\"91d0d5c\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-b656859 elementor-widget elementor-widget-text-editor\" data-id=\"b656859\" 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>Bei nat\u00fcrlich-sprachlichen Anforderungen ist die Definition der Requirements Coverage immer eine schwierige Frage. Die Entscheidung ob eine Anforderung abgedeckt ist und ob diese Abdeckung vollst\u00e4ndig ist basiert in der Regel auf einem manuellen Review der zugeh\u00f6rigen Testf\u00e4lle.<\/p>\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-60b6728 e-con-full e-flex e-con e-child\" data-id=\"60b6728\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-892118b elementor-widget elementor-widget-text-editor\" data-id=\"892118b\" 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>Auf Basis der Spezifikationsmethode Universal Pattern haben wir eine mathematische Definition von Requirement Coverage entwickelt, welche eine vollst\u00e4ndig automatische Berechnung erm\u00f6glicht.<\/p>\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<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-f1ae7e3 btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"f1ae7e3\" 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-44d6540 e-flex e-con-boxed e-con e-child\" data-id=\"44d6540\" 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-a9dab5b elementor-widget elementor-widget-heading\" data-id=\"a9dab5b\" 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% AUTOMATISIERT<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-28f88d9 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"28f88d9\" 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\">Formalisierte Anforderungen = H\u00f6here Qualit\u00e4t<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-45418be elementor-widget elementor-widget-text-editor\" data-id=\"45418be\" 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>Aufgrund der Maschinenlesbarkeit von formalisierten Anforderungen k\u00f6nnen diese in verschiedenen Verifikationsmethoden eingesetzt und damit die Qualit\u00e4t und die Vollst\u00e4ndigkeit des Verifikationsprozesses dramatisch erh\u00f6ht werden. Beispiele daf\u00fcr sind:<\/p>\n\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-75805c6 e-con-full e-grid e-con e-child\" data-id=\"75805c6\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-c8c9ea6 e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"c8c9ea6\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeIn&quot;}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-ff177b1 elementor-widget elementor-widget-heading\" data-id=\"ff177b1\" 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<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-4303bae elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"4303bae\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\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-1787e55 elementor-widget elementor-widget-text-editor\" data-id=\"1787e55\" 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>In einem traditionellen Anforderungs-basierten Test-Prozess \u00fcberpr\u00fcft ein Testfall in der Regel nur die Anforderung aus welcher er abgeleitet wurde. Aber k\u00f6nnte Testfall N\u00b05 nicht die Anforderung N\u00b010 verletzen? Mit Formal Test werden alle Testf\u00e4lle automatisiert gegen alle Anforderungen gepr\u00fcft, so dass m\u00f6gliche Seiteneffekte ohne zus\u00e4tzlichen Testaufwand aufgezeigt werden.<\/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-ad35fdf elementor-align-center elementor-widget elementor-widget-button\" data-id=\"ad35fdf\" 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\/use_cases\/formal-verification\/\">\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\">Mehr<\/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-1094fd5 e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"1094fd5\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeIn&quot;,&quot;animation_delay&quot;:400}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-619aadb elementor-widget elementor-widget-heading\" data-id=\"619aadb\" 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<h3 class=\"elementor-heading-title elementor-size-default\">Automatische Testfall Generierung<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-5ae7ea5 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"5ae7ea5\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\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-bc6b470 elementor-widget elementor-widget-text-editor\" data-id=\"bc6b470\" 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>Falls bestimmte Anforderungen nicht vollst\u00e4ndig getestet sind, k\u00f6nnen Sie mit dem Requirements-based Test Generation Add-On die fehlenden Testf\u00e4lle automatisch generieren und somit automatisiert 100% Requirement Coverage erreichen.<\/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-29e6259 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"29e6259\" 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\/use_cases\/formal-verification\/\">\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\">Mehr<\/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-13069d0 e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"13069d0\" data-element_type=\"container\" data-settings=\"{&quot;animation&quot;:&quot;fadeIn&quot;,&quot;animation_delay&quot;:800}\">\n\t\t\t\t<div class=\"elementor-element elementor-element-8c0e016 elementor-widget elementor-widget-heading\" data-id=\"8c0e016\" 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<h3 class=\"elementor-heading-title elementor-size-default\">Formale Verifikation<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-73caf3d elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"73caf3d\" data-element_type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\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-70dc051 elementor-widget elementor-widget-text-editor\" data-id=\"70dc051\" 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>Dank unserer einzigartigen Model-Checking Technologie, erhalten Sie auf Knopfdruck den mathematischen Beweis dass Ihre Sicherheits-Anforderungen nie verletzt werden k\u00f6nnen. Und sollte eine Verletzung doch m\u00f6glich sein, generiert Ihnen BTC EmbeddedValidator einen Testfall als Gegenbeispiel und Grundlage f\u00fcr das Debugging.<\/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-c0ca0b8 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"c0ca0b8\" 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\/use_cases\/formal-verification\/\">\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\">Mehr<\/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-bb9f8ad e-flex e-con-boxed e-con e-parent\" data-id=\"bb9f8ad\" 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\t\t<div class=\"elementor-element elementor-element-25ec11b elementor-widget elementor-widget-template\" data-id=\"25ec11b\" 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=\"9153\" class=\"elementor elementor-9153 elementor-4435\" data-elementor-post-type=\"elementor_library\">\n\t\t\t<div class=\"elementor-element elementor-element-923ea4e e-flex e-con-boxed e-con e-parent\" data-id=\"923ea4e\" data-element_type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-ca5dac5 btc-products e-con-full e-flex e-con e-child\" data-id=\"ca5dac5\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-8970e70 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"8970e70\" 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-4d17c01 elementor-widget elementor-widget-heading\" data-id=\"4d17c01\" 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\">certified<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0e758d9 elementor-widget elementor-widget-heading\" data-id=\"0e758d9\" 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\">ISO 26262<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-f6c5f16 elementor-widget elementor-widget-text-editor\" data-id=\"f6c5f16\" 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>BTC EmbeddedPlatform (incl. BTC EmbeddedTester BASE, BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator) has been certified by German T\u00dcV S\u00fcd as fit for usage in safety critical software development projects.<\/p>\n<p>The certificate addresses different standards including ISO 26262, IEC 61508-3:2010, ISO 25119, IEC 62304 as well as EN 50716.<\/p>\n<p>For the automotive standard ISO 26262, we have been certified with the highest tool confidence level TCL and the certificate is valid for all ASIL levels including ASIL D.<\/p>\n<p>We provide the certificate and the corresponding report to our customers free of charge upon request, which almost eliminates any effort for tool qualification measures on the customer side.<\/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-07f9cdf elementor-align-left elementor-widget elementor-widget-button\" data-id=\"07f9cdf\" 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\/use_cases\/iso-26262\/\">\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\">Read more<\/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-7131af0 btc-grow  e-con-full e-flex elementor-invisible e-con e-child\" data-id=\"7131af0\" 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-af88abb elementor-widget elementor-widget-image\" data-id=\"af88abb\" 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<img decoding=\"async\" width=\"800\" height=\"1068\" src=\"https:\/\/www.btc-embedded.com\/wp-content\/uploads\/2022\/06\/BTC-EmbeddedPlatform_TUEV-Sued_ISO-26262_Certficate.webp\" class=\"attachment-large size-large wp-image-3941\" alt=\"ISO 26262 Certificate\" \/>\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<\/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\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-3d5c47e e-con-full e-flex e-con e-parent\" data-id=\"3d5c47e\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-723bfdd e-con-full e-flex e-con e-child\" data-id=\"723bfdd\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-46f99e1 elementor-widget elementor-widget-template\" data-id=\"46f99e1\" 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-a6f632f btc-home-blog e-flex e-con-boxed e-con e-parent\" data-id=\"a6f632f\" 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-d7ba7e2 e-flex e-con-boxed e-con e-child\" data-id=\"d7ba7e2\" 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-96bb33c elementor-widget elementor-widget-heading\" data-id=\"96bb33c\" 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-ee0bcf5 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"ee0bcf5\" 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\">Unser Blog<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-7c6ee00 elementor-widget elementor-widget-text-editor\" data-id=\"7c6ee00\" 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>Unser Blog mit Artikeln rund um die Themen Embedded Software Entwicklung, Model-based Design, Serien-Code Generierung, ISO 26262, Continuous Integration und mehr.<\/p>\n\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-8ca639e e-con-full e-flex e-con e-child\" data-id=\"8ca639e\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-a162d22 btc-carousel-paginated right elementor-widget__width-initial elementor-arrows-position-inside elementor-widget elementor-widget-loop-carousel\" data-id=\"a162d22\" 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-88aef57 btc-home-videos e-flex e-con-boxed e-con e-parent\" data-id=\"88aef57\" 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-ce5e3bf e-flex e-con-boxed e-con e-child\" data-id=\"ce5e3bf\" 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-4e2fbe1 elementor-widget elementor-widget-heading\" data-id=\"4e2fbe1\" 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\">PRODUCT VIDEOS<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2530d54 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"2530d54\" 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\">Entdecken Sie die wichtigsten Features unserer Tools in diesen kurzen Demo Videos.<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-4613b05 elementor-widget elementor-widget-text-editor\" data-id=\"4613b05\" 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>Entdecken Sie die wichtigsten Features unserer Tools in diesen kurzen Demo Videos.<\/p>\n\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-3cc838b e-con-full e-flex e-con e-child\" data-id=\"3cc838b\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-d71656a btc-carousel-paginated secondary elementor-arrows-position-inside elementor-widget elementor-widget-loop-carousel\" data-id=\"d71656a\" data-element_type=\"widget\" data-settings=\"{&quot;template_id&quot;:20148,&quot;slides_to_show&quot;:&quot;2&quot;,&quot;slides_to_show_tablet_extra&quot;:&quot;2&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=\"swiper elementor-loop-container elementor-grid\" role=\"list\" dir=\"ltr\">\n\t\t\t\t<div class=\"swiper-wrapper\" aria-live=\"polite\">\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 swiper-slide 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\" role=\"group\" aria-roledescription=\"slide\" 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 data-elementor-type=\"loop-item\" data-elementor-id=\"20148\" class=\"elementor elementor-20148 swiper-slide e-loop-item e-loop-item-6499 post-6499 videos type-videos status-publish has-post-thumbnail hentry tag-requirements-engineering product-btc-embeddedspecifier video_type-product-video\" data-elementor-post-type=\"elementor_library\" role=\"group\" aria-roledescription=\"slide\" 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=\"6499\">\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:\\\/\\\/youtu.be\\\/-FhbwO9Sd9c&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;:6500,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/FormalSpecification-1.webp&quot;},&quot;video_type&quot;:&quot;youtube&quot;,&quot;controls&quot;:&quot;yes&quot;}\" data-target=\"6499\" 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\\\/-FhbwO9Sd9c?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%3DeyJ0eXBlIjoidmlkZW8iLCJ2aWRlb1R5cGUiOiJ5b3V0dWJlIiwidXJsIjoiaHR0cHM6XC9cL3d3dy55b3V0dWJlLW5vY29va2llLmNvbVwvZW1iZWRcLy1GaGJ3TzlTZDljP2ZlYXR1cmU9b2VtYmVkJnN0YXJ0JmVuZCZ3bW9kZT1vcGFxdWUmbG9vcD0wJmNvbnRyb2xzPTEmbXV0ZT0wJnJlbD0wJmNjX2xvYWRfcG9saWN5PTAiLCJhdXRvcGxheSI6IiIsIm1vZGFsT3B0aW9ucyI6eyJpZCI6ImVsZW1lbnRvci1saWdodGJveC00OThjMmE5ZCIsImVudHJhbmNlQW5pbWF0aW9uIjoiIiwiZW50cmFuY2VBbmltYXRpb25fdGFibGV0IjoiIiwiZW50cmFuY2VBbmltYXRpb25fbW9iaWxlIjoiIiwidmlkZW9Bc3BlY3RSYXRpbyI6IjE2OSJ9fQ%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\/FormalSpecification-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"FormalSpecification-1\" alt=\"FormalSpecification-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=\"6499\">\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;:6500,&quot;url&quot;:&quot;https:\\\/\\\/www.btc-embedded.com\\\/wp-content\\\/uploads\\\/2022\\\/07\\\/FormalSpecification-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=598839327&amp;bvid=BV1ZB4y1k7xv&amp;cid=784299685&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%2FYWlkPTU5ODgzOTMyNyZhbXA7YnZpZD1CVjFaQjR5MWs3eHYmYW1wO2NpZD03ODQyOTk2ODUmYW1wO3BhZ2U9MSAiLCJhdXRvcGxheSI6IiIsIm1vZGFsT3B0aW9ucyI6eyJpZCI6ImVsZW1lbnRvci1saWdodGJveC0yY2E2Y2MzOSIsImVudHJhbmNlQW5pbWF0aW9uIjoiIiwiZW50cmFuY2VBbmltYXRpb25fdGFibGV0IjoiIiwiZW50cmFuY2VBbmltYXRpb25fbW9iaWxlIjoiIiwidmlkZW9Bc3BlY3RSYXRpbyI6IjE2OSJ9LCJ2aWRlb1BhcmFtcyI6eyJjb250cm9scyI6IiIsInByZWxvYWQiOiJtZXRhZGF0YSIsImNvbnRyb2xzTGlzdCI6Im5vZG93bmxvYWQifX0%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\/FormalSpecification-1-r3eas94qmiiaw9015na2294de9ojyrx47c741tgkr4.webp\" title=\"FormalSpecification-1\" alt=\"FormalSpecification-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<\/div>\n\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-prev\" role=\"button\" tabindex=\"0\" aria-label=\"Voriger\">\n\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-chevron-left\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M646 125C629 125 613 133 604 142L308 442C296 454 292 471 292 487 292 504 296 521 308 533L604 854C617 867 629 875 646 875 663 875 679 871 692 858 704 846 713 829 713 812 713 796 708 779 692 767L438 487 692 225C700 217 708 204 708 187 708 171 704 154 692 142 675 129 663 125 646 125Z\"><\/path><\/svg>\t\t\t<\/div>\n\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-next\" role=\"button\" tabindex=\"0\" aria-label=\"N\u00e4chster\">\n\t\t\t\t<svg aria-hidden=\"true\" class=\"e-font-icon-svg e-eicon-chevron-right\" viewBox=\"0 0 1000 1000\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><path d=\"M696 533C708 521 713 504 713 487 713 471 708 454 696 446L400 146C388 133 375 125 354 125 338 125 325 129 313 142 300 154 292 171 292 187 292 204 296 221 308 233L563 492 304 771C292 783 288 800 288 817 288 833 296 850 308 863 321 871 338 875 354 875 371 875 388 867 400 854L696 533Z\"><\/path><\/svg>\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-6044ef3 e-flex e-con-boxed e-con e-parent\" data-id=\"6044ef3\" 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-af7cdc1 e-con-full e-flex e-con e-child\" data-id=\"af7cdc1\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-6d5b660 e-con-full e-flex e-con e-child\" data-id=\"6d5b660\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-222b5dc animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"222b5dc\" 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-be80a3e elementor-widget elementor-widget-text-editor\" data-id=\"be80a3e\" 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\t100%-ige Sicherheit durch mathematisch vollst\u00e4ndige formale Verifikation\r\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-1f4f0b0 e-con-full e-flex e-con e-child\" data-id=\"1f4f0b0\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-f4379ca elementor-align-right elementor-mobile-align-center elementor-widget elementor-widget-button\" data-id=\"f4379ca\" 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=\"https:\/\/www.btc-embedded.com\/de\/products\/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\">Produkt 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":19849,"template":"","class_list":["post-9839","products","type-products","status-publish","has-post-thumbnail","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/products\/9839","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/products"}],"about":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/types\/products"}],"version-history":[{"count":6,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/products\/9839\/revisions"}],"predecessor-version":[{"id":21066,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/products\/9839\/revisions\/21066"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/media\/19849"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/media?parent=9839"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}