Dangos 41 - 50 canlyniadau o 63 ar gyfer chwilio '"Software/Program Verification."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 41

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

    Erthygl

    Using symbolic execution for verifying safety-critical systems.
  2. 42

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

    Erthygl

    Modular verification of collaboration-based software designs.
  3. 43

    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.
  4. 44

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

    Erthygl

    An industrial case study of implementing software risk management.
  5. 45

    An empirical methodology for introducing software processes. gan Shull, Forrest

    Erthygl

    An empirical methodology for introducing software processes.
  6. 46

    A specification-based approach to reasoning about pointers. gan Kulczycki, Gregory

    Erthygl

    A specification-based approach to reasoning about pointers.
  7. 47

    Specification and verification of inter-component constraints in CTL. gan Thang, Nguyen Truong

    Erthygl

    Specification and verification of inter-component constraints in CTL.
  8. 48

    Non-null references by default in the Java modeling language. gan Chalin, Patrice

    Erthygl

    Non-null references by default in the Java modeling language.
  9. 49

    Specification and design of component-based coordination systems by integrating coordination patterns. gan Pérez-Serrano, Pedro L.

    Erthygl

    Specification and design of component-based coordination systems by integrating coordination patterns.
  10. 50

    Constraint satisfaction techniques for diagnosing errors in design by contract software. gan Ceballos, Rafael

    Erthygl

    Constraint satisfaction techniques for diagnosing errors in design by contract software.

Offerynnau Chwilio: