{"id":770,"date":"2019-05-28T16:45:19","date_gmt":"2019-05-28T14:45:19","guid":{"rendered":"https:\/\/www.realtime-it.de\/?page_id=770"},"modified":"2021-11-07T17:31:20","modified_gmt":"2021-11-07T16:31:20","slug":"infrastructural-verification","status":"publish","type":"page","link":"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/","title":{"rendered":"Infrastructural Verification"},"content":{"rendered":"<div id=\"pl-gb770-6a13cf4723ef0\"  class=\"panel-layout\" ><div id=\"pg-gb770-6a13cf4723ef0-0\"  class=\"panel-grid panel-no-style\" ><div id=\"pgc-gb770-6a13cf4723ef0-0-0\"  class=\"panel-grid-cell\" ><div id=\"panel-gb770-6a13cf4723ef0-0-0-0\" class=\"so-panel widget widget_sow-editor panel-first-child panel-last-child\" data-index=\"0\" ><div\n\t\t\t\n\t\t\tclass=\"so-widget-sow-editor so-widget-sow-editor-base\"\n\t\t\t\n\t\t>\n<div class=\"siteorigin-widget-tinymce textwidget\">\n\t<h3 class=\"mb-30\">Build Your Knowledge Base<\/h3>\n<p class=\"mb-30\"><a href=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car.png\"><img decoding=\"async\" loading=\"lazy\" class=\"aligncenter wp-image-243 size-mesmerize-full-hd\" src=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-1920x803.png\" alt=\"\" width=\"1920\" height=\"803\" srcset=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-1920x803.png 1920w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-300x126.png 300w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-768x321.png 768w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-1024x428.png 1024w\" sizes=\"(max-width: 1920px) 100vw, 1920px\" \/><\/a>Using our graphical <a href=\"https:\/\/www.realtime-it.de\/index.php\/modeler\/\" target=\"_blank\" rel=\"noopener\">modeler<\/a>, network designers can transform created models into a knowledge base that is implemented in Prolog. It consists of facts and logical rules describing the model. This knowledge base is used for verification of desired network properties. Using adequate queries, safety experts can, for example, verify that there are disjoint paths between two given network nodes. Such a property is significant if there are fail-operational or redundancy requirements in the network.<\/p>\n<h3 class=\"mb-30\">Model -&gt; Specify -&gt; Verify<\/h3>\n<p><a href=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach.png\"><img decoding=\"async\" loading=\"lazy\" class=\"aligncenter wp-image-242 size-full\" src=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach.png\" alt=\"\" width=\"3679\" height=\"1667\" srcset=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach.png 3679w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach-300x136.png 300w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach-768x348.png 768w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach-1024x464.png 1024w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach-1920x870.png 1920w\" sizes=\"(max-width: 3679px) 100vw, 3679px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>We offer you a set of rules and queries for infrastructural network verification. Additionally, you can also formulate your own domain-specific rules and queries depending on any type of specification. The model is verified and improved iteratively until all verification goals are achieved.<\/p>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Build Your Knowledge Base Using our graphical modeler, network designers can transform created models into a knowledge base that is implemented in Prolog. It consists of facts and logical rules describing the model. This knowledge base is used for verification of desired network properties. Using adequate queries, safety experts can, for example, verify that there&hellip; <br \/> <a class=\"read-more\" href=\"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/\">Read more<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inline_featured_image":false},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v20.11 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Infrastructural Verification - RealtimeIT<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Infrastructural Verification - RealtimeIT\" \/>\n<meta property=\"og:description\" content=\"Build Your Knowledge Base Using our graphical modeler, network designers can transform created models into a knowledge base that is implemented in Prolog. It consists of facts and logical rules describing the model. This knowledge base is used for verification of desired network properties. Using adequate queries, safety experts can, for example, verify that there&hellip; Read more\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/\" \/>\n<meta property=\"og:site_name\" content=\"RealtimeIT\" \/>\n<meta property=\"article:modified_time\" content=\"2021-11-07T16:31:20+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/\",\"url\":\"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/\",\"name\":\"Infrastructural Verification - RealtimeIT\",\"isPartOf\":{\"@id\":\"https:\/\/www.realtime-it.de\/#website\"},\"datePublished\":\"2019-05-28T14:45:19+00:00\",\"dateModified\":\"2021-11-07T16:31:20+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Startseite\",\"item\":\"https:\/\/www.realtime-it.de\/en\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Infrastructural Verification\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.realtime-it.de\/#website\",\"url\":\"https:\/\/www.realtime-it.de\/\",\"name\":\"RealtimeIT\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/www.realtime-it.de\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.realtime-it.de\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.realtime-it.de\/#organization\",\"name\":\"RealtimeIT\",\"url\":\"https:\/\/www.realtime-it.de\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.realtime-it.de\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2021\/09\/whitegray_svg.svg\",\"contentUrl\":\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2021\/09\/whitegray_svg.svg\",\"width\":4004,\"height\":1413,\"caption\":\"RealtimeIT\"},\"image\":{\"@id\":\"https:\/\/www.realtime-it.de\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.youtube.com\/@realtimeit2750\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Infrastructural Verification - RealtimeIT","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/","og_locale":"en_US","og_type":"article","og_title":"Infrastructural Verification - RealtimeIT","og_description":"Build Your Knowledge Base Using our graphical modeler, network designers can transform created models into a knowledge base that is implemented in Prolog. It consists of facts and logical rules describing the model. This knowledge base is used for verification of desired network properties. Using adequate queries, safety experts can, for example, verify that there&hellip; Read more","og_url":"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/","og_site_name":"RealtimeIT","article_modified_time":"2021-11-07T16:31:20+00:00","twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/","url":"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/","name":"Infrastructural Verification - RealtimeIT","isPartOf":{"@id":"https:\/\/www.realtime-it.de\/#website"},"datePublished":"2019-05-28T14:45:19+00:00","dateModified":"2021-11-07T16:31:20+00:00","breadcrumb":{"@id":"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.realtime-it.de\/en\/index.php\/infrastructural-verification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Startseite","item":"https:\/\/www.realtime-it.de\/en\/"},{"@type":"ListItem","position":2,"name":"Infrastructural Verification"}]},{"@type":"WebSite","@id":"https:\/\/www.realtime-it.de\/#website","url":"https:\/\/www.realtime-it.de\/","name":"RealtimeIT","description":"","publisher":{"@id":"https:\/\/www.realtime-it.de\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.realtime-it.de\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.realtime-it.de\/#organization","name":"RealtimeIT","url":"https:\/\/www.realtime-it.de\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.realtime-it.de\/#\/schema\/logo\/image\/","url":"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2021\/09\/whitegray_svg.svg","contentUrl":"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2021\/09\/whitegray_svg.svg","width":4004,"height":1413,"caption":"RealtimeIT"},"image":{"@id":"https:\/\/www.realtime-it.de\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.youtube.com\/@realtimeit2750"]}]}},"_links":{"self":[{"href":"https:\/\/www.realtime-it.de\/en\/index.php\/wp-json\/wp\/v2\/pages\/770"}],"collection":[{"href":"https:\/\/www.realtime-it.de\/en\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.realtime-it.de\/en\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.realtime-it.de\/en\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.realtime-it.de\/en\/index.php\/wp-json\/wp\/v2\/comments?post=770"}],"version-history":[{"count":14,"href":"https:\/\/www.realtime-it.de\/en\/index.php\/wp-json\/wp\/v2\/pages\/770\/revisions"}],"predecessor-version":[{"id":1853,"href":"https:\/\/www.realtime-it.de\/en\/index.php\/wp-json\/wp\/v2\/pages\/770\/revisions\/1853"}],"wp:attachment":[{"href":"https:\/\/www.realtime-it.de\/en\/index.php\/wp-json\/wp\/v2\/media?parent=770"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}