يعرض 11 - 20 نتائج من 69 نتيجة بحث عن '"Program verification."', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 11

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

    الحاوية / القاعدة Crossroads : the ACM student magazine.
    مقال

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

    Assume-guarantee testing. حسب Blundell, Colin

    الحاوية / القاعدة Software engineering notes.
    مقال

    Assume-guarantee testing.
  3. 13

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

    الحاوية / القاعدة Software engineering notes.
    مقال

    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. حسب Saur, Joe

    الحاوية / القاعدة Software engineering notes.
    مقال

    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. حسب Bradbury, Jeremy S.

    الحاوية / القاعدة Software engineering notes.
    مقال

    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. حسب Liang, Donglin

    الحاوية / القاعدة Software engineering notes.
    مقال

    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. حسب Privat, Jean

    الحاوية / القاعدة Software engineering notes.
    مقال

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

    Invariants and state in testing and formal methods. حسب Hamlet, Dick

    الحاوية / القاعدة Software engineering notes.
    مقال

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

    Symbolic path simulation in path-sensitive dataflow analysis. حسب Hampapuram, Hari

    الحاوية / القاعدة Software engineering notes.
    مقال

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

    String analysis for x86 binaries. حسب Christodorescu, Mihai

    الحاوية / القاعدة Software engineering notes.
    مقال

    String analysis for x86 binaries.

أدوات البحث: