Showing 31 - 40 results of 63 for search '"Software / Program Verification."', query time: 0.02s Refine Results
  1. 31

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

    Article

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

    Article

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

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

    Article

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

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

    Article

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

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

    Article

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

    Explaining abstract counterexamples. by Chaki, Sagar

    Article

    Explaining abstract counterexamples.
  7. 37

    Correlation exploitation in error ranking. by Kremenek, Ted

    Article

    Correlation exploitation in error ranking.
  8. 38

    Deadlock detection in distribution object systems. by Kaveh, Nima

    Article

    Deadlock detection in distribution object systems.
  9. 39

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

    Article

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

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.

Search Tools: