Mostra 41 - 50 risultati di 63 ricerca '"Software program verification."', tempo di risposta: 0,02s Raffina i risultati
  1. 41

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

    Articolo

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

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

    Articolo

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

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

    Articolo

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

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

    Articolo

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

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

    Articolo

    An empirical methodology for introducing software processes.
  6. 46

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

    Articolo

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

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

    Articolo

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

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

    Articolo

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

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

    Articolo

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

    Articolo

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

Strumenti per la ricerca: