{"id":318,"date":"2014-09-25T15:24:09","date_gmt":"2014-09-25T14:24:09","guid":{"rendered":"http:\/\/www.systerel.fr\/en\/?page_id=318"},"modified":"2025-11-14T15:07:55","modified_gmt":"2025-11-14T14:07:55","slug":"verification-validation-tools","status":"publish","type":"page","link":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/","title":{"rendered":"Verification &amp; Validation Tools"},"content":{"rendered":"<p>Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation:<\/p>\n<p><span style=\"color: #000000;\"><a title=\"Systerel Smart Solver\" href=\"https:\/\/www.systerel.fr\/innovation\/produits\/systerel-smart-solver\/\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-17\" src=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2014\/08\/logo_smart-solver-1024x273.png\" alt=\"v\u00e9rification et validation de logiciels et syst\u00e8mes critiques\" width=\"310\" height=\"83\" srcset=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2014\/08\/logo_smart-solver-1024x273.png 1024w, https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2014\/08\/logo_smart-solver-300x80.png 300w\" sizes=\"auto, (max-width: 310px) 100vw, 310px\" \/><\/a><\/span><\/p>\n<p style=\"text-align: left;\"><a href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/\">Formal<\/a> verification of systems or software developed in SCADE, C, Ada, &#8230;<\/p>\n<p style=\"text-align: left;\"><a class=\"btn from-shortcode \" href=\"https:\/\/www.systerel.fr\/en\/products\/systerel-smart-solver\/\">Learn More <\/a>\u00a0<a class=\"btn from-shortcode \" href=\"mailto:contact@systerel.fr\">Contact us<\/a><\/p>\n<p><a href=\"http:\/\/www.ovado.net\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-555\" src=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2014\/10\/ovado2_ratp_V2-1024x687.png\" alt=\"V\u00e9rification et Validation de logiciels ou syst\u00e8mes critiques\" width=\"211\" height=\"142\" srcset=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2014\/10\/ovado2_ratp_V2-1024x687.png 1024w, https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2014\/10\/ovado2_ratp_V2-300x201.png 300w, https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2014\/10\/ovado2_ratp_V2.png 1724w\" sizes=\"auto, (max-width: 211px) 100vw, 211px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>Automatic validation of critical configuration data.<\/p>\n<p><a class=\"btn from-shortcode \" href=\"http:\/\/www.ovado.net\" target=\"_blank\">Learn more <\/a> <a class=\"btn from-shortcode \" href=\"mailto:contact@systerel.fr\">Contact us<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation.<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":305,"menu_order":8,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-318","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Verification &amp; Validation Tools - Systerel English<\/title>\n<meta name=\"description\" content=\"Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation.\" \/>\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.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Verification &amp; Validation Tools - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:modified_time\" content=\"2025-11-14T14:07:55+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2014\/08\/logo_smart-solver.png\" \/>\n\t<meta property=\"og:image:width\" content=\"10000\" \/>\n\t<meta property=\"og:image:height\" content=\"2667\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\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:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/verification-validation-tools\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/verification-validation-tools\\\/\",\"name\":\"Verification &amp; Validation Tools - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/verification-validation-tools\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/verification-validation-tools\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2014\\\/08\\\/logo_smart-solver-1024x273.png\",\"datePublished\":\"2014-09-25T14:24:09+00:00\",\"dateModified\":\"2025-11-14T14:07:55+00:00\",\"description\":\"Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/verification-validation-tools\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/verification-validation-tools\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/verification-validation-tools\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2014\\\/08\\\/logo_smart-solver-1024x273.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/wp-content\\\/uploads\\\/2014\\\/08\\\/logo_smart-solver-1024x273.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/verification-validation-tools\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Expertise\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Formal methods\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Verification &amp; Validation Tools\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?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":"Verification &amp; Validation Tools - Systerel English","description":"Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation.","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.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/","og_locale":"en_US","og_type":"article","og_title":"Verification &amp; Validation Tools - Systerel English","og_description":"Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation.","og_url":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/","og_site_name":"Systerel English","article_modified_time":"2025-11-14T14:07:55+00:00","og_image":[{"width":10000,"height":2667,"url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2014\/08\/logo_smart-solver.png","type":"image\/png"}],"twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/","url":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/","name":"Verification &amp; Validation Tools - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2014\/08\/logo_smart-solver-1024x273.png","datePublished":"2014-09-25T14:24:09+00:00","dateModified":"2025-11-14T14:07:55+00:00","description":"Systerel develops solutions using formal methods to increase quality and productivity in the areas of verification and validation.","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/#primaryimage","url":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2014\/08\/logo_smart-solver-1024x273.png","contentUrl":"https:\/\/www.systerel.fr\/wp-content\/uploads\/2014\/08\/logo_smart-solver-1024x273.png"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/verification-validation-tools\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Expertise","item":"https:\/\/www.systerel.fr\/en\/expertise\/"},{"@type":"ListItem","position":3,"name":"Formal methods","item":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/"},{"@type":"ListItem","position":4,"name":"Verification &amp; Validation Tools"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/318","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=318"}],"version-history":[{"count":6,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/318\/revisions"}],"predecessor-version":[{"id":1060,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/318\/revisions\/1060"}],"up":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/305"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=318"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}