Mostra 11 - 20 risultati di 69 ricerca '"Program verification."', tempo di risposta: 0,03s Raffina i risultati
  1. 11

    Software verification and validation with destiny a parallel approach to automated theorem proving. di Dykstra, Josiah

    Articolo

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  2. 12

    Assume-guarantee testing. di Blundell, Colin

    Articolo

    Assume-guarantee testing.
  3. 13

    Component-interaction automata as a verification-oriented component-based system specification. di Brim, Lubo?

    Articolo

    Component-interaction automata as a verification-oriented component-based system specification.
  4. 14

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality. di Saur, Joe

    Articolo

    Review of "System Testing with an Attitude An Approach That Nurtures Front-Loaded (Designed and built in. . . not tested in!) Software Quality.
  5. 15

    An empirical framework for comparing effectiveness of testing and property-based formal analysis. di Bradbury, Jeremy S.

    Articolo

    An empirical framework for comparing effectiveness of testing and property-based formal analysis.
  6. 16

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. di Liang, Donglin

    Articolo

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.
  7. 17

    Link-time static analysis for efficient separate compilation of object-oriented languages. di Privat, Jean

    Articolo

    Link-time static analysis for efficient separate compilation of object-oriented languages.
  8. 18

    Invariants and state in testing and formal methods. di Hamlet, Dick

    Articolo

    Invariants and state in testing and formal methods.
  9. 19

    Symbolic path simulation in path-sensitive dataflow analysis. di Hampapuram, Hari

    Articolo

    Symbolic path simulation in path-sensitive dataflow analysis.
  10. 20

    String analysis for x86 binaries. di Christodorescu, Mihai

    Articolo

    String analysis for x86 binaries.

Strumenti per la ricerca: