{"id":350,"date":"2011-08-16T12:36:18","date_gmt":"2011-08-16T10:36:18","guid":{"rendered":"http:\/\/prophet.epfl.ch\/2011\/08\/geneva-fireworks-explosions-vs-state-space-explosion\/"},"modified":"2025-04-28T15:45:21","modified_gmt":"2025-04-28T13:45:21","slug":"geneva-fireworks-explosions-vs-state-space-explosion","status":"publish","type":"post","link":"https:\/\/www.kth.se\/blogs\/prophet\/2011\/08\/geneva-fireworks-explosions-vs-state-space-explosion\/","title":{"rendered":"Geneva fireworks explosions vs. state space explosion"},"content":{"rendered":"<div class=\"post-content-wrapper\"><p>We went to Geneva on August 13 to watch the famous fireworks. Some of the photos are available on our <a href=\"http:\/\/prophet.epfl.ch\/photos\/\" target=\"_blank\">photos<\/a> page. The video of the finale is below (Peter is joking that these explosions are nothing compared to the state space explosion <a href=\"http:\/\/prophet.epfl.ch\/2011\/08\/our-upcoming-wripe-paper-automating-the-testing-of-openflow-applications\/\" target=\"_blank\">we are facing in our work on automatically testing OpenFlow applications<\/a>!)<\/p><\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>We went to Geneva on August 13 to watch the famous fireworks. Some of the photos are available on our photos page. The video of the finale is below (Peter is joking that these explosions are nothing compared to the state space explosion we are facing in our work on automatically testing OpenFlow applications!)<\/p>\n","protected":false},"author":621,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"footnotes":"","jetpack_post_was_ever_published":false},"categories":[2],"tags":[],"class_list":["post-350","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p7bjNp-5E","_links":{"self":[{"href":"https:\/\/www.kth.se\/blogs\/prophet\/wp-json\/wp\/v2\/posts\/350","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.kth.se\/blogs\/prophet\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.kth.se\/blogs\/prophet\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.kth.se\/blogs\/prophet\/wp-json\/wp\/v2\/users\/621"}],"replies":[{"embeddable":true,"href":"https:\/\/www.kth.se\/blogs\/prophet\/wp-json\/wp\/v2\/comments?post=350"}],"version-history":[{"count":0,"href":"https:\/\/www.kth.se\/blogs\/prophet\/wp-json\/wp\/v2\/posts\/350\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.kth.se\/blogs\/prophet\/wp-json\/wp\/v2\/media?parent=350"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.kth.se\/blogs\/prophet\/wp-json\/wp\/v2\/categories?post=350"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.kth.se\/blogs\/prophet\/wp-json\/wp\/v2\/tags?post=350"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}