Näytetään 41 - 50 yhteensä 63 tuloksesta haulle '"Software/Program Verification."', hakuaika: 0,02s Tarkenna hakua
  1. 41

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

    Artikkeli

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

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

    Artikkeli

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

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

    Artikkeli

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  4. 44

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

    Artikkeli

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

    An empirical methodology for introducing software processes. Tekijä Shull, Forrest

    Artikkeli

    An empirical methodology for introducing software processes.
  6. 46

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

    Artikkeli

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

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

    Artikkeli

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

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

    Artikkeli

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

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

    Artikkeli

    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. Tekijä Ceballos, Rafael

    Artikkeli

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

Työkalut: