Dangos 41 - 50 canlyniadau o 69 ar gyfer chwilio '"Program verification."', amser ymholiad: 0.03e Mireinio'r Canlyniadau
  1. 41

    PSE explaining program failures via postmortem static analysis. gan Manevich, Roman

    Erthygl

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

    Explaining abstract counterexamples. gan Chaki, Sagar

    Erthygl

    Explaining abstract counterexamples.
  3. 43

    Correlation exploitation in error ranking. gan Kremenek, Ted

    Erthygl

    Correlation exploitation in error ranking.
  4. 44

    Deadlock detection in distribution object systems. gan Kaveh, Nima

    Erthygl

    Deadlock detection in distribution object systems.
  5. 45

    Increasing client-side confidence in remote component implementations. gan Jagannathan, Ramesh

    Erthygl

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

    Interface automata. gan De Alfaro, Luca

    Erthygl

    Interface automata.
  7. 47

    Using symbolic execution for verifying safety-critical systems. gan Coen-Porisini, Alberto

    Erthygl

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

    Modular verification of collaboration-based software designs. gan Fisler, Kathi

    Erthygl

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

    Automatic abstraction for model checking software systems with interrelated numeric constraints. gan Choi, Yunja

    Erthygl

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

    An industrial case study of implementing software risk management. gan Freimut, Bernd

    Erthygl

    An industrial case study of implementing software risk management.

Offerynnau Chwilio: