{"id":19395,"date":"2013-03-23T11:44:31","date_gmt":"2013-03-23T09:44:31","guid":{"rendered":"https:\/\/www.clearsy.com\/?p=19395"},"modified":"2023-09-06T11:45:04","modified_gmt":"2023-09-06T09:45:04","slug":"predicateb-a-predicate-animator","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/","title":{"rendered":"PredicateB: a predicate animator"},"content":{"rendered":"<div class=\"wpb-content-wrapper\"><p>[vc_row][vc_column]<div class=\"text-bloc\"><p>PredicateB was created by ClearSy in 2005, in order to calculate predicates expressed using the mathematical language of the B formal method. PredicateB has been initially developped in Java and is part of the Rodin framework hosted on sourceforge.<\/p>\n<\/div>[\/vc_column][\/vc_row][vc_row][vc_column]<div class=\"image-single-wrapper text-bloc text-left\"><img loading=\"lazy\" decoding=\"async\" width=\"1017\" height=\"411\" src=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2023\/09\/3-predicateb.png\" class=\"attachment-full size-full\" alt=\"\" srcset=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2023\/09\/3-predicateb.png 1017w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2023\/09\/3-predicateb-300x121.png 300w, https:\/\/www.clearsy.com\/wp-content\/uploads\/2023\/09\/3-predicateb-768x310.png 768w\" sizes=\"auto, (max-width: 1017px) 100vw, 1017px\" \/><\/div>[\/vc_column][\/vc_row][vc_row][vc_column]<div class=\"text-bloc\"><p>A new version of PredicateB, PredicateB++, has been developed in 2008 in C++ on top of Qt libraries, with the aim of significantly improving performances.<\/p>\n<p>PredicateB has been used for the development of Brama (an Event-B model animator plugin of the Rodin platform) and Ovado (a railways data validation tool, property of RATP and aimed at safety critical software qualification).<\/p>\n<p>PredicateB++ has been used for the development of DTVT (a railways data validation tool, property of Alstom and used as an engineering tool while developing safety critical software). Its capabilities have been slightly improved in term of performances and memory footprint.<\/p>\n<\/div>[\/vc_column][\/vc_row]<\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>[vc_row][vc_column][\/vc_column][\/vc_row][vc_row][vc_column][\/vc_column][\/vc_row][vc_row][vc_column][\/vc_column][\/vc_row]<\/p>\n","protected":false},"author":17,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[686],"tags":[],"class_list":["post-19395","post","type-post","status-publish","format-standard","hentry","category-the-tools"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>PredicateB: a predicate animator - CLEARSY<\/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.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PredicateB: a predicate animator - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"[vc_row][vc_column][\/vc_column][\/vc_row][vc_row][vc_column][\/vc_column][\/vc_row][vc_row][vc_column][\/vc_column][\/vc_row]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2013-03-23T09:44:31+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-09-06T09:45:04+00:00\" \/>\n<meta name=\"author\" content=\"Thierry Lecomte\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Thierry Lecomte\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/the-tools\\\/predicateb-a-predicate-animator\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/the-tools\\\/predicateb-a-predicate-animator\\\/\"},\"author\":{\"name\":\"Thierry Lecomte\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/62096c067e9d3a553ad93a906e95a673\"},\"headline\":\"PredicateB: a predicate animator\",\"datePublished\":\"2013-03-23T09:44:31+00:00\",\"dateModified\":\"2023-09-06T09:45:04+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/the-tools\\\/predicateb-a-predicate-animator\\\/\"},\"wordCount\":194,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"articleSection\":[\"Tools\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/the-tools\\\/predicateb-a-predicate-animator\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/the-tools\\\/predicateb-a-predicate-animator\\\/\",\"name\":\"PredicateB: a predicate animator - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"datePublished\":\"2013-03-23T09:44:31+00:00\",\"dateModified\":\"2023-09-06T09:45:04+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/the-tools\\\/predicateb-a-predicate-animator\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/the-tools\\\/predicateb-a-predicate-animator\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/the-tools\\\/predicateb-a-predicate-animator\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PredicateB: a predicate animator\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/62096c067e9d3a553ad93a906e95a673\",\"name\":\"Thierry Lecomte\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g\",\"caption\":\"Thierry Lecomte\"},\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/author\\\/tlecomte\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"PredicateB: a predicate animator - CLEARSY","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.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/","og_locale":"en_US","og_type":"article","og_title":"PredicateB: a predicate animator - CLEARSY","og_description":"[vc_row][vc_column][\/vc_column][\/vc_row][vc_row][vc_column][\/vc_column][\/vc_row][vc_row][vc_column][\/vc_column][\/vc_row]","og_url":"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/","og_site_name":"CLEARSY","article_published_time":"2013-03-23T09:44:31+00:00","article_modified_time":"2023-09-06T09:45:04+00:00","author":"Thierry Lecomte","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Thierry Lecomte","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/"},"author":{"name":"Thierry Lecomte","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/62096c067e9d3a553ad93a906e95a673"},"headline":"PredicateB: a predicate animator","datePublished":"2013-03-23T09:44:31+00:00","dateModified":"2023-09-06T09:45:04+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/"},"wordCount":194,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"articleSection":["Tools"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/","url":"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/","name":"PredicateB: a predicate animator - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"datePublished":"2013-03-23T09:44:31+00:00","dateModified":"2023-09-06T09:45:04+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/the-tools\/predicateb-a-predicate-animator\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"PredicateB: a predicate animator"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/62096c067e9d3a553ad93a906e95a673","name":"Thierry Lecomte","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g","caption":"Thierry Lecomte"},"url":"https:\/\/www.clearsy.com\/en\/author\/tlecomte\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/19395","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=19395"}],"version-history":[{"count":1,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/19395\/revisions"}],"predecessor-version":[{"id":19396,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/19395\/revisions\/19396"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=19395"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=19395"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=19395"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}