{"id":705,"date":"2009-07-08T14:07:14","date_gmt":"2009-07-08T18:07:14","guid":{"rendered":"http:\/\/www.easterbrook.ca\/steve\/?p=705"},"modified":"2009-07-08T14:07:14","modified_gmt":"2009-07-08T18:07:14","slug":"2009-verification-workshop","status":"publish","type":"post","link":"http:\/\/www.easterbrook.ca\/steve\/2009\/07\/2009-verification-workshop\/","title":{"rendered":"2009 Verification Workshop"},"content":{"rendered":"<p>I thought this sounded very relevant: the\u00a0<a href=\"http:\/\/www.space.fmi.fi\/Verification2009\/?page=welcome\">4th International Verification Methods Workshop<\/a>. Of course, it&#8217;s not about software verification, but rather about verification of weather forecasts. The <a title=\"Tutorial Slides from the Verification Methods Workhshop\" href=\"http:\/\/space.fmi.fi\/Verification2009\/?page=tut_lectures\" target=\"_blank\">slides from the tutorials<\/a> give a good sense of what verification means to this community (especially the first one, on verification basics). Much of it is\u00a0statistical\u00a0analysis of observational data and forecasts, but there are some interesting points on what verification actually means &#8211; for example, to do it properly you have to understand the user&#8217;s goals &#8211; a forecast (e.g. one that puts the rainstorm in the wrong place) might be useless for one purpose (e.g. managing flood defenses) but be very useful for another (e.g. aviation). Which means no verification technique is fully &#8220;objective&#8221;.<\/p>\n<p>What I find interesting is that this really <em>is<\/em> about software verification &#8211; checking that large complex software systems (i.e. weather forecast models) do what they are supposed to do (i.e. accurately predict weather), but there is no mention anywhere of the software itself; all the discussion is about the problem domain. You don&#8217;t get much of that at software verification conferences&#8230;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I thought this sounded very relevant: the\u00a04th International Verification Methods Workshop. Of course, it&#8217;s not about software verification, but rather about verification of weather forecasts. The slides from the tutorials give a good sense of what verification means to this community (especially the first one, on verification basics). Much of it is\u00a0statistical\u00a0analysis of observational data [&hellip;]<\/p>\n","protected":false},"author":392,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[27],"tags":[],"aioseo_notices":[],"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"","_links":{"self":[{"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/posts\/705"}],"collection":[{"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/users\/392"}],"replies":[{"embeddable":true,"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/comments?post=705"}],"version-history":[{"count":1,"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/posts\/705\/revisions"}],"predecessor-version":[{"id":706,"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/posts\/705\/revisions\/706"}],"wp:attachment":[{"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/media?parent=705"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/categories?post=705"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.easterbrook.ca\/steve\/wp-json\/wp\/v2\/tags?post=705"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}