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

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

    Articolo

    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. di Feng, Yaodong

    Articolo

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

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

    Articolo

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

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

    Articolo

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

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

    Articolo

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

    Explaining abstract counterexamples. di Chaki, Sagar

    Articolo

    Explaining abstract counterexamples.
  7. 37

    Correlation exploitation in error ranking. di Kremenek, Ted

    Articolo

    Correlation exploitation in error ranking.
  8. 38

    Deadlock detection in distribution object systems. di Kaveh, Nima

    Articolo

    Deadlock detection in distribution object systems.
  9. 39

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

    Articolo

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

    Interface automata. di De Alfaro, Luca

    Articolo

    Interface automata.

Strumenti per la ricerca: