<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="../assets/xml/rss.xsl" media="all"?><rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>The Blog (Posts by Marie Bouette)</title><link>https://blog.systerel.fr/</link><description></description><atom:link href="https://blog.systerel.fr/authors/marie-bouette.xml" rel="self" type="application/rss+xml"></atom:link><language>en</language><copyright>Contents © 2026 &lt;a href="mailto:contact@systerel.fr"&gt;Systerel&lt;/a&gt; </copyright><lastBuildDate>Wed, 06 May 2026 12:00:27 GMT</lastBuildDate><generator>Nikola (getnikola.com)</generator><docs>http://blogs.law.harvard.edu/tech/rss</docs><item><title>S3 v2.0 — Une avancée majeure dans le monde de la vérification formelle</title><link>https://blog.systerel.fr/posts/2026-04/s3-version2-0/</link><dc:creator>Marie Bouette</dc:creator><description>&lt;div&gt;&lt;p&gt;&lt;a href="https://blog.systerel.fr/images/logo_smart-solver.png" class="image-reference"&gt;&lt;img src="https://blog.systerel.fr/images/logo_smart-solver.thumbnail.png" class="float-right"&gt;&lt;/a&gt;&lt;/p&gt;
&lt;h2&gt;Introduction&lt;/h2&gt;
&lt;p&gt;La nouvelle version du moteur de preuve S3 arrive ... et avec elle, une amélioration
significative de ses performances !
De quelle manière et comment, embarquez avec nous pour découvrir un monde de nouvelles opportunités.&lt;/p&gt;
&lt;p&gt;&lt;a href="https://blog.systerel.fr/posts/2026-04/s3-version2-0/"&gt;Read more…&lt;/a&gt; (8 min remaining to read)&lt;/p&gt;&lt;/div&gt;</description><guid>https://blog.systerel.fr/posts/2026-04/s3-version2-0/</guid><pubDate>Fri, 10 Apr 2026 15:07:40 GMT</pubDate></item></channel></rss>