Gösterilen 51 - 60 sonuçlar arası kayıtlar. 63 sonuç. Aranan kelime '"Software/program verification."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 51

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

    Makale

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

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

    Makale

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

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

    Makale

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

    Representation-independent program analysis. Yazar: Strout, Michelle Mills

    Makale

    Representation-independent program analysis.
  5. 55

    Weakest-precondition of unstructured programs. Yazar: Barnett, Mike

    Makale

    Weakest-precondition of unstructured programs.
  6. 56

    Focusing software education on engineering. Yazar: Knight, John C.

    Makale

    Focusing software education on engineering.
  7. 57

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

    Makale

    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. Yazar: Xu, Wei

    Makale

    An efficient and backwards-compatible transformation to ensure memory safety of C programs.
  9. 59

    Verifying aspect advice modularly. Yazar: Krishnamurthi, Shriram

    Makale

    Verifying aspect advice modularly.
  10. 60

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

    Makale

    A classification system and analysis for aspect-oriented programs.

Arama Araçları: