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

    PSE explaining program failures via postmortem static analysis. حسب Manevich, Roman

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

    PSE explaining program failures via postmortem static analysis.
  2. 42

    Explaining abstract counterexamples. حسب Chaki, Sagar

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

    Explaining abstract counterexamples.
  3. 43

    Correlation exploitation in error ranking. حسب Kremenek, Ted

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

    Correlation exploitation in error ranking.
  4. 44

    Deadlock detection in distribution object systems. حسب Kaveh, Nima

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

    Deadlock detection in distribution object systems.
  5. 45

    Increasing client-side confidence in remote component implementations. حسب Jagannathan, Ramesh

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

    Increasing client-side confidence in remote component implementations.
  6. 46

    Interface automata. حسب De Alfaro, Luca

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

    Interface automata.
  7. 47

    Using symbolic execution for verifying safety-critical systems. حسب Coen-Porisini, Alberto

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

    Using symbolic execution for verifying safety-critical systems.
  8. 48

    Modular verification of collaboration-based software designs. حسب Fisler, Kathi

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

    Modular verification of collaboration-based software designs.
  9. 49

    Automatic abstraction for model checking software systems with interrelated numeric constraints. حسب Choi, Yunja

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

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  10. 50

    An industrial case study of implementing software risk management. حسب Freimut, Bernd

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

    An industrial case study of implementing software risk management.

أدوات البحث: