Showing 201 - 210 results of 242 for search '"Verification."', query time: 0.02s Refine Results
  1. 201

    A component-based specification approach for embedded systems using FDTs. by Guerrouat, Abdelaziz

    Article

    A component-based specification approach for embedded systems using FDTs.
  2. 202

    Automated data verification in a format-free environment. by Collins, Michael

    Article

    Automated data verification in a format-free environment.
  3. 203

    SableSpMT a software framework for analysing speculative multithreading in Java. by Pickett, Christopher J. F.

    Article

    SableSpMT a software framework for analysing speculative multithreading in Java.
  4. 204

    Representation-independent program analysis. by Strout, Michelle Mills

    Article

    Representation-independent program analysis.
  5. 205

    Weakest-precondition of unstructured programs. by Barnett, Mike

    Article

    Weakest-precondition of unstructured programs.
  6. 206

    Automatically generating refactorings to support API evolution. by Perkins, Jeff H.

    Article

    Automatically generating refactorings to support API evolution.
  7. 207

    Focusing software education on engineering. by Knight, John C.

    Article

    Focusing software education on engineering.
  8. 208

    Testing static analysis tools using exploitable buffer overflows from open source code. by Zitser, Misha

    Article

    Testing static analysis tools using exploitable buffer overflows from open source code.
  9. 209

    An efficient and backwards-compatible transformation to ensure memory safety of C programs. by Xu, Wei

    Article

    An efficient and backwards-compatible transformation to ensure memory safety of C programs.
  10. 210

    Verifying aspect advice modularly. by Krishnamurthi, Shriram

    Article

    Verifying aspect advice modularly.

Search Tools: