Let’s verify this with Why3 von Bobot, François, Filliâtre, Jean-Christophe, Marché, Claude, Paskevich, Andrei

Volltext

Exploiting Pointer Analysis in Memory Models for Deductive Verification von Bouillaguet, Quentin, Bobot, François, Sighireanu, Mihaela, Yakobowski, Boris

Volltext

Formal analysis of the compact position reporting algorithm von Dutle, Aaron, Moscato, Mariano, Titolo, Laura, Muñoz, César, Anderson, Gregory, Bobot, François

Volltext

Formal analysis of the compact positionreporting algorithm von Dutle, Aaron, Moscato, Mariano, Titolo, Laura, Muñoz, César, Anderson, Gregory, Bobot, François

Volltext

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm von Titolo, Laura, Moscato, Mariano M., Muñoz, César A., Dutle, Aaron, Bobot, François

Volltext

Expressing Polymorphic Types in a Many-Sorted Language von Bobot, François, Paskevich, Andrei

Volltext

Deductive Proof of Industrial Smart Contracts Using Why3 von Nehaï, Zeinab, Bobot, François

Volltext

Sharpening Constraint Programming Approaches for Bit-Vector Theory von Chihani, Zakaria, Marre, Bruno, Bobot, François, Bardin, Sébastien

Volltext

An SMT Theory for n-Indexed Sequences von Hara, Hichem Rami Ait El, Bobot, François, Bury, Guillaume

Volltext bestellen

Deductive Proof of Ethereum Smart Contracts Using Why3 von Nehai, Zeinab, Bobot, François

Volltext bestellen

On SMT Theory Design: The Case of Sequences von Hichem Rami Ait El Hara, Bobot, François, Bury, Guillaume

Volltext

Separation Predicates: A Taste of Separation Logic in First-Order Logic von Bobot, François, Filliâtre, Jean-Christophe

Volltext

Preserving User Proofs across Specification Changes von Bobot, François, Filliâtre, Jean-Christophe, Marché, Claude, Melquiond, Guillaume, Paskevich, Andrei

Volltext

An SMT Theory for n-Indexed Sequences von Hichem Rami Ait El Hara, Bobot, François, Bury, Guillaume

Volltext

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness von Girard-Satabin, Julien, Alberti, Michele, Bobot, François, Chihani, Zakaria, Lemesle, Augustin

Volltext bestellen

Deductive Proof of Ethereum Smart Contracts Using Why3 von Nehai, Zeinab, Bobot, François

Volltext

A Deductive Verification Framework for Circuit-building Quantum Programs von Chareton, Christophe, Bardin, Sébastien, Bobot, François, Perrelle, Valentin, Valiron, Benoit

Volltext

Formally Verifying that a Program Does What It Should: The WpWp (Frama-C plug-in) Plug-in von Blanchard, Allan, Bobot, François, Baudin, Patrick, Correnson, Loïc

Volltext

The Art of Developing Frama-C Plug-ins von Bobot, François, Maroneze, André, Prevosto, Virgile, Signoles, Julien

Volltext

Logique de séparation et vérification déductive von Bobot, François

Volltext bestellen