{"id":111309,"date":"2020-09-28T16:30:02","date_gmt":"2020-09-28T14:30:02","guid":{"rendered":"https:\/\/uniavisen.dk\/event\/diku-bits-verimon-a-verified-monitoring-tool\/"},"modified":"2020-09-28T16:30:02","modified_gmt":"2020-09-28T14:30:02","slug":"diku-bits-verimon-a-verified-monitoring-tool","status":"publish","type":"event","link":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/","title":{"rendered":"DIKU Bits: VeriMon &#8211; A Verified Monitoring Tool"},"content":{"rendered":"<h2>Speaker<\/h2>\n<p>Dmitriy Traytel, Associate Professor at the Software, Data, People &amp; Society Section at DIKU.<\/p>\n<h2>Abstract<\/h2>\n<p>In runtime verification, monitoring is the task of detecting whether a system execution adheres to given rules. Runtime monitors are used in safety- and security-critical applications, where errors are too costly to be tolerated. Their correctness is important and rarely obvious. VeriMon is a monitor whose correctness has been formally verified in the Isabelle proof asistant. I will talk about VeriMon&#8217;s evolution and demonstrate how it helped detect genuine errors in other unverified monitors.<\/p>\n<h2>About DIKU Bits<\/h2>\n<p>DIKU Bits is an open and free lecture series hosted by Department of Computer Science (DIKU) targeted at bachelor students at DIKU and related areas \u2013 but open for everyone interested.\u200b<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker Dmitriy Traytel, Associate Professor at the Software, Data, People &amp; Society Section at DIKU. Abstract In runtime verification, monitoring is the task of detecting whether a system execution adheres to given rules. Runtime monitors are used in safety- and security-critical applications, where errors are too costly to be tolerated. Their correctness is important and [&hellip;]<\/p>\n","protected":false},"author":0,"featured_media":111310,"template":"","class_list":["post-111309","event","type-event","status-publish","has-post-thumbnail","hentry","event_category-seminar"],"acf":[],"aioseo_notices":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>DIKU Bits: VeriMon - A Verified Monitoring Tool<\/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:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DIKU Bits: VeriMon - A Verified Monitoring Tool\" \/>\n<meta property=\"og:description\" content=\"Speaker Dmitriy Traytel, Associate Professor at the Software, Data, People &amp; Society Section at DIKU. Abstract In runtime verification, monitoring is the task of detecting whether a system execution adheres to given rules. Runtime monitors are used in safety- and security-critical applications, where errors are too costly to be tolerated. Their correctness is important and [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/\" \/>\n<meta property=\"og:site_name\" content=\"University Post\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/uniavis\" \/>\n<meta property=\"og:image\" content=\"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1920\" \/>\n\t<meta property=\"og:image:height\" content=\"1080\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:site\" content=\"@Uniavisen\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/uniavisen.dk\\\/en\\\/event\\\/diku-bits-verimon-a-verified-monitoring-tool\\\/\",\"url\":\"https:\\\/\\\/uniavisen.dk\\\/en\\\/event\\\/diku-bits-verimon-a-verified-monitoring-tool\\\/\",\"name\":\"DIKU Bits: VeriMon - A Verified Monitoring Tool\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/uniavisen.dk\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/uniavisen.dk\\\/en\\\/event\\\/diku-bits-verimon-a-verified-monitoring-tool\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/uniavisen.dk\\\/en\\\/event\\\/diku-bits-verimon-a-verified-monitoring-tool\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/uniavisen.dk\\\/wp-content\\\/uploads\\\/2020\\\/09\\\/2020blok46.png\",\"datePublished\":\"2020-09-28T14:30:02+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/uniavisen.dk\\\/en\\\/event\\\/diku-bits-verimon-a-verified-monitoring-tool\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/uniavisen.dk\\\/en\\\/event\\\/diku-bits-verimon-a-verified-monitoring-tool\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/uniavisen.dk\\\/en\\\/event\\\/diku-bits-verimon-a-verified-monitoring-tool\\\/#primaryimage\",\"url\":\"https:\\\/\\\/uniavisen.dk\\\/wp-content\\\/uploads\\\/2020\\\/09\\\/2020blok46.png\",\"contentUrl\":\"https:\\\/\\\/uniavisen.dk\\\/wp-content\\\/uploads\\\/2020\\\/09\\\/2020blok46.png\",\"width\":1920,\"height\":1080},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/uniavisen.dk\\\/en\\\/event\\\/diku-bits-verimon-a-verified-monitoring-tool\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/uniavisen.dk\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Events\",\"item\":\"https:\\\/\\\/uniavisen.dk\\\/event\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"DIKU Bits: VeriMon &#8211; A Verified Monitoring Tool\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/uniavisen.dk\\\/#website\",\"url\":\"https:\\\/\\\/uniavisen.dk\\\/\",\"name\":\"University Post\",\"description\":\"Independent of management\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/uniavisen.dk\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"DIKU Bits: VeriMon - A Verified Monitoring Tool","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:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/","og_locale":"en_US","og_type":"article","og_title":"DIKU Bits: VeriMon - A Verified Monitoring Tool","og_description":"Speaker Dmitriy Traytel, Associate Professor at the Software, Data, People &amp; Society Section at DIKU. Abstract In runtime verification, monitoring is the task of detecting whether a system execution adheres to given rules. Runtime monitors are used in safety- and security-critical applications, where errors are too costly to be tolerated. Their correctness is important and [&hellip;]","og_url":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/","og_site_name":"University Post","article_publisher":"https:\/\/www.facebook.com\/uniavis","og_image":[{"width":1920,"height":1080,"url":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_site":"@Uniavisen","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/","url":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/","name":"DIKU Bits: VeriMon - A Verified Monitoring Tool","isPartOf":{"@id":"https:\/\/uniavisen.dk\/#website"},"primaryImageOfPage":{"@id":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/#primaryimage"},"image":{"@id":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/#primaryimage"},"thumbnailUrl":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46.png","datePublished":"2020-09-28T14:30:02+00:00","breadcrumb":{"@id":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/#primaryimage","url":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46.png","contentUrl":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46.png","width":1920,"height":1080},{"@type":"BreadcrumbList","@id":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/uniavisen.dk\/en\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/uniavisen.dk\/event\/"},{"@type":"ListItem","position":3,"name":"DIKU Bits: VeriMon &#8211; A Verified Monitoring Tool"}]},{"@type":"WebSite","@id":"https:\/\/uniavisen.dk\/#website","url":"https:\/\/uniavisen.dk\/","name":"University Post","description":"Independent of management","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/uniavisen.dk\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"advancedCustomFields":{"event_category":{"term_id":72,"name":"Seminar","slug":"seminar","term_group":0,"term_taxonomy_id":72,"taxonomy":"event_category","description":"","parent":0,"count":337,"filter":"raw"},"start":"2020-10-06 12:15:00","add_end_time":true,"end":"2020-10-06 13:00:00","location":"Virtually via Zoom: https:\/\/ucph-ku.zoom.us\/j\/64102775812","host_name":"Martin Lillholm (VILU), studielederne p\u00e5 DIKU samt Datalogisk Fagr\u00e5d","ticket_link":"https:\/\/ucph-ku.zoom.us\/j\/64102775812","event_is_free":true,"event_poster":{"ID":111310,"id":111310,"title":"2020blok46.png","filename":"2020blok46.png","filesize":597274,"url":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46.png","link":"https:\/\/uniavisen.dk\/en\/event\/diku-bits-verimon-a-verified-monitoring-tool\/2020blok46-png\/","alt":"","author":"0","description":"","caption":"","name":"2020blok46-png","status":"inherit","uploaded_to":111309,"date":"2020-09-28 14:30:02","modified":"2020-09-28 14:30:35","menu_order":0,"mime_type":"image\/png","type":"image","subtype":"png","icon":"https:\/\/uniavisen.dk\/wp-includes\/images\/media\/default.png","width":1920,"height":1080,"sizes":{"thumbnail":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46-150x150.png","thumbnail-width":150,"thumbnail-height":150,"medium":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46-480x270.png","medium-width":480,"medium-height":270,"medium_large":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46-768x432.png","medium_large-width":768,"medium_large-height":432,"large":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46-1280x720.png","large-width":1280,"large-height":720,"1536x1536":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46-1536x864.png","1536x1536-width":1536,"1536x1536-height":864,"2048x2048":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46.png","2048x2048-width":1920,"2048x2048-height":1080,"featured-soft":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46-290x163.png","featured-soft-width":290,"featured-soft-height":163,"featured-hard":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46-290x180.png","featured-hard-width":290,"featured-hard-height":180,"narrow":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46-700x394.png","narrow-width":700,"narrow-height":394,"extended":"https:\/\/uniavisen.dk\/wp-content\/uploads\/2020\/09\/2020blok46-990x557.png","extended-width":990,"extended-height":557}},"short_description":"On 6 October Dmitriy Traytel will host a DIKU Bits with the title \"VeriMon - A Verified Monitoring Tool\".","old_url":""},"_links":{"self":[{"href":"https:\/\/uniavisen.dk\/en\/wp-json\/wp\/v2\/events\/111309","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/uniavisen.dk\/en\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/uniavisen.dk\/en\/wp-json\/wp\/v2\/types\/event"}],"version-history":[{"count":0,"href":"https:\/\/uniavisen.dk\/en\/wp-json\/wp\/v2\/events\/111309\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/uniavisen.dk\/en\/wp-json\/wp\/v2\/media\/111310"}],"wp:attachment":[{"href":"https:\/\/uniavisen.dk\/en\/wp-json\/wp\/v2\/media?parent=111309"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}