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

    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. 52

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

    Article

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

    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. 54

    Representation-independent program analysis. by Strout, Michelle Mills

    Article

    Representation-independent program analysis.
  5. 55

    Weakest-precondition of unstructured programs. by Barnett, Mike

    Article

    Weakest-precondition of unstructured programs.
  6. 56

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

    Article

    Focusing software education on engineering.
  7. 57

    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.
  8. 58

    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.
  9. 59

    Verifying aspect advice modularly. by Krishnamurthi, Shriram

    Article

    Verifying aspect advice modularly.
  10. 60

    A classification system and analysis for aspect-oriented programs. by Rinard, Martin

    Article

    A classification system and analysis for aspect-oriented programs.

Search Tools: