Mostrando 11 - 20 Resultados de 25 Para Buscar '"Model checking."', tiempo de consulta: 0.02s Limitar resultados
  1. 11

    Case studies on fault detection effectiveness of model based test generation techniques. por Paradkar, Amit

    Artículo

    Case studies on fault detection effectiveness of model based test generation techniques.
  2. 12

    Modeling for image processing system validation, verification and testing. por Li, Xing

    Artículo

    Modeling for image processing system validation, verification and testing.
  3. 13

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report. por Lakey, Peter B.

    Artículo

    Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report.
  4. 14

    Advances in model-based software testing (A-MOST). por Dalal, Siddhartha R.

    Artículo

    Advances in model-based software testing (A-MOST).
  5. 15

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. por Dingel, Juergen

    Artículo

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  6. 16

    Explaining abstract counterexamples. por Chaki, Sagar

    Artículo

    Explaining abstract counterexamples.
  7. 17

    Deadlock detection in distribution object systems. por Kaveh, Nima

    Artículo

    Deadlock detection in distribution object systems.
  8. 18

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

    Artículo

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

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

    Artículo

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

    Generalizing symbolic execution to library classes. por Khurshid, Sarfraz

    Artículo

    Generalizing symbolic execution to library classes.

Herramientas de búsqueda: