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

    Weakest-precondition of unstructured programs. حسب Barnett, Mike

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

    Weakest-precondition of unstructured programs.
  2. 62

    Focusing software education on engineering. حسب Knight, John C.

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

    Focusing software education on engineering.
  3. 63

    Testing static analysis tools using exploitable buffer overflows from open source code. حسب Zitser, Misha

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

    Testing static analysis tools using exploitable buffer overflows from open source code.
  4. 64

    An efficient and backwards-compatible transformation to ensure memory safety of C programs. حسب Xu, Wei

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

    An efficient and backwards-compatible transformation to ensure memory safety of C programs.
  5. 65

    Verifying aspect advice modularly. حسب Krishnamurthi, Shriram

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

    Verifying aspect advice modularly.
  6. 66

    A classification system and analysis for aspect-oriented programs. حسب Rinard, Martin

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

    A classification system and analysis for aspect-oriented programs.
  7. 67

    Modular design and verification of component-based mechatronic systems with online-reconfiguration. حسب Giese, Holger

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

    Modular design and verification of component-based mechatronic systems with online-reconfiguration.
  8. 68

    Heuristic-guided counterexample search in FLAVERS. حسب Tan, Jianbin

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

    Heuristic-guided counterexample search in FLAVERS.
  9. 69

    Interval arithmetic From principles to implementation. حسب Hickey, T.

    الحاوية / القاعدة Journal of the ACM
    مقال

    Interval arithmetic From principles to implementation.

أدوات البحث: