Mostrando 51 - 60 resultados de 63 para a busca '"Software/program verification."', tempo de busca: 0.02s Refinar Resultados
  1. 51

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

    Artigo

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

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

    Artigo

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

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

    Artigo

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

    Representation-independent program analysis. por Strout, Michelle Mills

    Artigo

    Representation-independent program analysis.
  5. 55

    Weakest-precondition of unstructured programs. por Barnett, Mike

    Artigo

    Weakest-precondition of unstructured programs.
  6. 56

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

    Artigo

    Focusing software education on engineering.
  7. 57

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

    Artigo

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

    Artigo

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

    Verifying aspect advice modularly. por Krishnamurthi, Shriram

    Artigo

    Verifying aspect advice modularly.
  10. 60

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

    Artigo

    A classification system and analysis for aspect-oriented programs.

Ferramentas de busca: