Showing 31 - 40 results of 63 for search '"Software/program verification."', tempo de consulta: 0.02s Limitar resultados
  1. 31

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

    Artigo

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

    Exception handling in component composition with the support of middleware. por Feng, Yaodong

    Artigo

    Exception handling in component composition with the support of middleware.
  3. 33

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

    Artigo

    Advances in model-based software testing (A-MOST).
  4. 34

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

    Artigo

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  5. 35

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

    Artigo

    PSE explaining program failures via postmortem static analysis.
  6. 36

    Explaining abstract counterexamples. por Chaki, Sagar

    Artigo

    Explaining abstract counterexamples.
  7. 37

    Correlation exploitation in error ranking. por Kremenek, Ted

    Artigo

    Correlation exploitation in error ranking.
  8. 38

    Deadlock detection in distribution object systems. por Kaveh, Nima

    Artigo

    Deadlock detection in distribution object systems.
  9. 39

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

    Artigo

    Increasing client-side confidence in remote component implementations.
  10. 40

    Interface automata. por De Alfaro, Luca

    Artigo

    Interface automata.

Ferramentas de procura: