https://blog.systerel.fr/enContents © 2026 <a href="mailto:contact@systerel.fr">Systerel</a> Mon, 15 Jun 2026 14:33:51 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://blog.systerel.fr/posts/2023-12/ovado-second-regard-sur-les-donnees-de-configuration/Yannick Laumonier<div><p><a href="https://blog.systerel.fr/images/rssr22/ovado.png" class="image-reference"><img src="https://blog.systerel.fr/images/rssr22/ovado.thumbnail.png" class="float-right"></a></p> <p>OVADO²® est un outil RATP qualifié et extensible, dédié à la validation formelle des données de configuration des logiciels et systèmes. L'article <a href="https://blog.systerel.fr/fr/posts/2023-01/generating-and-verifying-configuration-data-with-ovado/">Generating and verifying configuration data with OVADO²®</a> décrit une utilisation d'OVADO²® dans le cadre d'un projet SIL4 de génération formelle de données de configuration.</p> <p><a href="https://blog.systerel.fr/posts/2023-12/ovado-second-regard-sur-les-donnees-de-configuration/">Read more…</a> (6 min remaining to read)</p></div>https://blog.systerel.fr/posts/2023-12/ovado-second-regard-sur-les-donnees-de-configuration/Mon, 04 Dec 2023 13:22:05 GMT