Treffer 1 - 20 von 217 für Suche 'MARCHE, Claude', Suchdauer: 1,09s Treffer weiter einschränken
  1. 1
    Verification of the functional behavior of a floating-point program: An industrial case study

    Verification of the functional behavior of a floating-point program: An industrial case study von Marché, Claude

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automated formal analysis of temporal properties of Ladder programs

    Automated formal analysis of temporal properties of Ladder programs von Belo Lourenço, Cláudio, Cousineau, Denis, Faissole, Florian, Marché, Claude, Mentré, David, Inoue, Hiroaki


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Deductive verification with ghost monitors

    Deductive verification with ghost monitors von Clochard, Martin, Marché, Claude, Paskevich, Andrei


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The CoLiS platform for the analysis of maintainer scripts in Debian software packages

    The CoLiS platform for the analysis of maintainer scripts in Debian software packages von Becker, Benedikt, Jeannerod, Nicolas, Marché, Claude, Régis-Gianas, Yann, Sighireanu, Mihaela, Treinen, Ralf


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Instrumenting a weakest precondition calculus for counterexample generation

    Instrumenting a weakest precondition calculus for counterexample generation von Dailler, Sylvain, Hauzar, David, Marché, Claude, Moy, Yannick


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Let’s verify this with Why3

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Explaining Counterexamples with Giant-Step Assertion Checking

    Explaining Counterexamples with Giant-Step Assertion Checking von Becker, Benedikt, Belo Lourenço, Cláudio, Marché, Claude


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014

    Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014 von Kosmatov, Nikolai, Marché, Claude, Moy, Yannick, Signoles, Julien


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Ghost Code in Action: Automated Verification of a Symbolic Interpreter

    Ghost Code in Action: Automated Verification of a Symbolic Interpreter von Becker, Benedikt, Marché, Claude


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Counterexamples from Proof Failures in SPARK

    Counterexamples from Proof Failures in SPARK von Hauzar, David, Marché, Claude, Moy, Yannick


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Operational termination of conditional term rewriting systems

    Operational termination of conditional term rewriting systems von Lucas, Salvador, Marché, Claude, Meseguer, José

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A Formally Verified Interpreter for a Shell-Like Programming Language

    A Formally Verified Interpreter for a Shell-Like Programming Language von Jeannerod, Nicolas, Marché, Claude, Treinen, Ralf


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Multi-Prover Verification of Floating-Point Programs

    Multi-Prover Verification of Floating-Point Programs von Ayad, Ali, Marché, Claude


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Multi-prover Verification of C Programs

    Multi-prover Verification of C Programs von FILLIATRE, Jean-Christophe, MARCHE, Claude


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Automating the Verification of Floating-Point Programs

    Automating the Verification of Floating-Point Programs von Fumex, Clément, Marché, Claude, Moy, Yannick


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    How to Get an Efficient yet Verified Arbitrary-Precision Integer Library

    How to Get an Efficient yet Verified Arbitrary-Precision Integer Library von Rieu-Helft, Raphaël, Marché, Claude, Melquiond, Guillaume


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Mechanically Proving Termination Using Polynomial Interpretations

    Mechanically Proving Termination Using Polynomial Interpretations von Contejean, Evelyne, Marché, Claude, Tomás, Ana Paula, Urbain, Xavier

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Lightweight Interactive Proving inside an Automatic Program Verifier

    Lightweight Interactive Proving inside an Automatic Program Verifier von Dailler, Sylvain, Marché, Claude, Moy, Yannick


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Automated Verification of Temporal Properties of Ladder Programs

    Automated Verification of Temporal Properties of Ladder Programs von Lourenço, Cláudio Belo, Cousineau, Denis, Faissole, Florian, Marché, Claude, Mentré, David, Inoue, Hiroaki


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Reasoning About Java Programs with Aliasing and Frame Conditions

    Reasoning About Java Programs with Aliasing and Frame Conditions von MARCHE, Claude, PAULIN-MOHRING, Christine


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: