{"id":567,"date":"2016-06-02T16:09:43","date_gmt":"2016-06-02T14:09:43","guid":{"rendered":"http:\/\/wp.gti-muenchen.de\/?p=567"},"modified":"2016-07-13T17:23:15","modified_gmt":"2016-07-13T15:23:15","slug":"polyspace","status":"publish","type":"post","link":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/","title":{"rendered":"Polyspace"},"content":{"rendered":"<p>ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma &#8222;The MathWorks&#8220;.<!--more--><\/p>\n<p>Zur Interpretation des Programmcode wird eine Abstraktion verwendet.\u00a0 Sie erm\u00f6glicht die Pr\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. <em>Division by Zero<\/em> oder <em>Array Access out of Bounds<\/em> zu finden.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma &#8222;The MathWorks&#8220;.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_mi_skip_tracking":false},"categories":[9,5],"tags":[],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 4.9.8 - aioseo.com -->\n\t<meta name=\"description\" content=\"ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma &quot;The MathWorks&quot;. Zur Interpretation des Programmcode wird eine Abstraktion verwendet. Sie erm\u00f6glicht die Pr\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. Division by Zero oder Array Access out of Bounds zu finden.\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"admin\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/www.gti-muenchen.de\/home\/polyspace\/\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 4.9.8\" \/>\n\t\t<meta property=\"og:locale\" content=\"de_DE\" \/>\n\t\t<meta property=\"og:site_name\" content=\"Gesellschaft f\u00fcr Technische Informatik |\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"Polyspace | Gesellschaft f\u00fcr Technische Informatik\" \/>\n\t\t<meta property=\"og:description\" content=\"ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma &quot;The MathWorks&quot;. Zur Interpretation des Programmcode wird eine Abstraktion verwendet. Sie erm\u00f6glicht die Pr\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. Division by Zero oder Array Access out of Bounds zu finden.\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/www.gti-muenchen.de\/home\/polyspace\/\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2016-06-02T14:09:43+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2016-07-13T15:23:15+00:00\" \/>\n\t\t<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n\t\t<meta name=\"twitter:title\" content=\"Polyspace | Gesellschaft f\u00fcr Technische Informatik\" \/>\n\t\t<meta name=\"twitter:description\" content=\"ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma &quot;The MathWorks&quot;. Zur Interpretation des Programmcode wird eine Abstraktion verwendet. Sie erm\u00f6glicht die Pr\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. Division by Zero oder Array Access out of Bounds zu finden.\" \/>\n\t\t<script type=\"application\/ld+json\" class=\"aioseo-schema\">\n\t\t\t{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/#article\",\"name\":\"Polyspace | Gesellschaft f\\u00fcr Technische Informatik\",\"headline\":\"Polyspace\",\"author\":{\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/author\\\/admin\\\/#author\"},\"publisher\":{\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/#organization\"},\"datePublished\":\"2016-06-02T16:09:43+02:00\",\"dateModified\":\"2016-07-13T17:23:15+02:00\",\"inLanguage\":\"de-DE\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/#webpage\"},\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/#webpage\"},\"articleSection\":\"Entwicklungswerkzeuge, Technologien\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/#breadcrumblist\",\"itemListElement\":[{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home#listItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\",\"nextItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/kategorie\\\/technologien\\\/#listItem\",\"name\":\"Technologien\"}},{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/kategorie\\\/technologien\\\/#listItem\",\"position\":2,\"name\":\"Technologien\",\"item\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/kategorie\\\/technologien\\\/\",\"nextItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/#listItem\",\"name\":\"Polyspace\"},\"previousItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home#listItem\",\"name\":\"Home\"}},{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/#listItem\",\"position\":3,\"name\":\"Polyspace\",\"previousItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/kategorie\\\/technologien\\\/#listItem\",\"name\":\"Technologien\"}}]},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/#organization\",\"name\":\"Gesellschaft f\\u00fcr Technische Informatik\",\"url\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/author\\\/admin\\\/#author\",\"url\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/author\\\/admin\\\/\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/#authorImage\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b8cd989e8382de1fb87cba05f82e61eb?s=96&d=mm&r=g\",\"width\":96,\"height\":96,\"caption\":\"admin\"}},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/#webpage\",\"url\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/\",\"name\":\"Polyspace | Gesellschaft f\\u00fcr Technische Informatik\",\"description\":\"ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma \\\"The MathWorks\\\". Zur Interpretation des Programmcode wird eine Abstraktion verwendet. Sie erm\\u00f6glicht die Pr\\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. Division by Zero oder Array Access out of Bounds zu finden.\",\"inLanguage\":\"de-DE\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/#website\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/polyspace\\\/#breadcrumblist\"},\"author\":{\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/author\\\/admin\\\/#author\"},\"creator\":{\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/author\\\/admin\\\/#author\"},\"datePublished\":\"2016-06-02T16:09:43+02:00\",\"dateModified\":\"2016-07-13T17:23:15+02:00\"},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/#website\",\"url\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/\",\"name\":\"Gesellschaft f\\u00fcr Technische Informatik\",\"inLanguage\":\"de-DE\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.gti-muenchen.de\\\/home\\\/#organization\"}}]}\n\t\t<\/script>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"Polyspace | Gesellschaft f\u00fcr Technische Informatik","description":"ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma \"The MathWorks\". Zur Interpretation des Programmcode wird eine Abstraktion verwendet. Sie erm\u00f6glicht die Pr\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. Division by Zero oder Array Access out of Bounds zu finden.","canonical_url":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/#article","name":"Polyspace | Gesellschaft f\u00fcr Technische Informatik","headline":"Polyspace","author":{"@id":"https:\/\/www.gti-muenchen.de\/home\/author\/admin\/#author"},"publisher":{"@id":"https:\/\/www.gti-muenchen.de\/home\/#organization"},"datePublished":"2016-06-02T16:09:43+02:00","dateModified":"2016-07-13T17:23:15+02:00","inLanguage":"de-DE","mainEntityOfPage":{"@id":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/#webpage"},"isPartOf":{"@id":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/#webpage"},"articleSection":"Entwicklungswerkzeuge, Technologien"},{"@type":"BreadcrumbList","@id":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/#breadcrumblist","itemListElement":[{"@type":"ListItem","@id":"https:\/\/www.gti-muenchen.de\/home#listItem","position":1,"name":"Home","item":"https:\/\/www.gti-muenchen.de\/home","nextItem":{"@type":"ListItem","@id":"https:\/\/www.gti-muenchen.de\/home\/kategorie\/technologien\/#listItem","name":"Technologien"}},{"@type":"ListItem","@id":"https:\/\/www.gti-muenchen.de\/home\/kategorie\/technologien\/#listItem","position":2,"name":"Technologien","item":"https:\/\/www.gti-muenchen.de\/home\/kategorie\/technologien\/","nextItem":{"@type":"ListItem","@id":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/#listItem","name":"Polyspace"},"previousItem":{"@type":"ListItem","@id":"https:\/\/www.gti-muenchen.de\/home#listItem","name":"Home"}},{"@type":"ListItem","@id":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/#listItem","position":3,"name":"Polyspace","previousItem":{"@type":"ListItem","@id":"https:\/\/www.gti-muenchen.de\/home\/kategorie\/technologien\/#listItem","name":"Technologien"}}]},{"@type":"Organization","@id":"https:\/\/www.gti-muenchen.de\/home\/#organization","name":"Gesellschaft f\u00fcr Technische Informatik","url":"https:\/\/www.gti-muenchen.de\/home\/"},{"@type":"Person","@id":"https:\/\/www.gti-muenchen.de\/home\/author\/admin\/#author","url":"https:\/\/www.gti-muenchen.de\/home\/author\/admin\/","name":"admin","image":{"@type":"ImageObject","@id":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/#authorImage","url":"https:\/\/secure.gravatar.com\/avatar\/b8cd989e8382de1fb87cba05f82e61eb?s=96&d=mm&r=g","width":96,"height":96,"caption":"admin"}},{"@type":"WebPage","@id":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/#webpage","url":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/","name":"Polyspace | Gesellschaft f\u00fcr Technische Informatik","description":"ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma \"The MathWorks\". Zur Interpretation des Programmcode wird eine Abstraktion verwendet. Sie erm\u00f6glicht die Pr\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. Division by Zero oder Array Access out of Bounds zu finden.","inLanguage":"de-DE","isPartOf":{"@id":"https:\/\/www.gti-muenchen.de\/home\/#website"},"breadcrumb":{"@id":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/#breadcrumblist"},"author":{"@id":"https:\/\/www.gti-muenchen.de\/home\/author\/admin\/#author"},"creator":{"@id":"https:\/\/www.gti-muenchen.de\/home\/author\/admin\/#author"},"datePublished":"2016-06-02T16:09:43+02:00","dateModified":"2016-07-13T17:23:15+02:00"},{"@type":"WebSite","@id":"https:\/\/www.gti-muenchen.de\/home\/#website","url":"https:\/\/www.gti-muenchen.de\/home\/","name":"Gesellschaft f\u00fcr Technische Informatik","inLanguage":"de-DE","publisher":{"@id":"https:\/\/www.gti-muenchen.de\/home\/#organization"}}]},"og:locale":"de_DE","og:site_name":"Gesellschaft f\u00fcr Technische Informatik |","og:type":"article","og:title":"Polyspace | Gesellschaft f\u00fcr Technische Informatik","og:description":"ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma &quot;The MathWorks&quot;. Zur Interpretation des Programmcode wird eine Abstraktion verwendet. Sie erm\u00f6glicht die Pr\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. Division by Zero oder Array Access out of Bounds zu finden.","og:url":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/","article:published_time":"2016-06-02T14:09:43+00:00","article:modified_time":"2016-07-13T15:23:15+00:00","twitter:card":"summary_large_image","twitter:title":"Polyspace | Gesellschaft f\u00fcr Technische Informatik","twitter:description":"ist ein System zur statischen Analyse von Source Code. Lizenzgeber ist die Firma &quot;The MathWorks&quot;. Zur Interpretation des Programmcode wird eine Abstraktion verwendet. Sie erm\u00f6glicht die Pr\u00fcfung der Wertebereiche von Variablen. Diese Eigenschaft wird genutzt um typische Laufzeitfehler wie z.B. Division by Zero oder Array Access out of Bounds zu finden."},"aioseo_meta_data":{"post_id":"567","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":"default","schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"breadcrumb_settings":null,"limit_modified_date":false,"ai":null,"created":"2022-11-01 11:43:23","updated":"2025-06-03 18:54:51","seo_analyzer_scan_date":null},"aioseo_breadcrumb":"<div class=\"aioseo-breadcrumbs\"><span class=\"aioseo-breadcrumb\">\n\t\t\t<a href=\"https:\/\/www.gti-muenchen.de\/home\" title=\"Home\">Home<\/a>\n\t\t<\/span><span class=\"aioseo-breadcrumb-separator\">&raquo;<\/span><span class=\"aioseo-breadcrumb\">\n\t\t\t<a href=\"https:\/\/www.gti-muenchen.de\/home\/kategorie\/technologien\/\" title=\"Technologien\">Technologien<\/a>\n\t\t<\/span><span class=\"aioseo-breadcrumb-separator\">&raquo;<\/span><span class=\"aioseo-breadcrumb\">\n\t\t\tPolyspace\n\t\t<\/span><\/div>","aioseo_breadcrumb_json":[{"label":"Home","link":"https:\/\/www.gti-muenchen.de\/home"},{"label":"Technologien","link":"https:\/\/www.gti-muenchen.de\/home\/kategorie\/technologien\/"},{"label":"Polyspace","link":"https:\/\/www.gti-muenchen.de\/home\/polyspace\/"}],"_links":{"self":[{"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/posts\/567"}],"collection":[{"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/comments?post=567"}],"version-history":[{"count":10,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/posts\/567\/revisions"}],"predecessor-version":[{"id":895,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/posts\/567\/revisions\/895"}],"wp:attachment":[{"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/media?parent=567"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/categories?post=567"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.gti-muenchen.de\/home\/wp-json\/wp\/v2\/tags?post=567"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}