Mostra 11 - 20 risultati di 63 ricerca '"Software / Program Verification."', tempo di risposta: 0,05s Raffina i risultati
  1. 11

    Link-time static analysis for efficient separate compilation of object-oriented languages. di Privat, Jean

    Articolo

    Link-time static analysis for efficient separate compilation of object-oriented languages.
  2. 12

    Invariants and state in testing and formal methods. di Hamlet, Dick

    Articolo

    Invariants and state in testing and formal methods.
  3. 13

    Symbolic path simulation in path-sensitive dataflow analysis. di Hampapuram, Hari

    Articolo

    Symbolic path simulation in path-sensitive dataflow analysis.
  4. 14

    String analysis for x86 binaries. di Christodorescu, Mihai

    Articolo

    String analysis for x86 binaries.
  5. 15

    Static control-flow analysis for reverse engineering of UML sequence diagrams. di Rountev, Atanas

    Articolo

    Static control-flow analysis for reverse engineering of UML sequence diagrams.
  6. 16

    Formally modelling software architectures with the UML 2.0 profile for π-ADL. di Oquendo, Flavio

    Articolo

    Formally modelling software architectures with the UML 2.0 profile for π-ADL.
  7. 17

    Engineering distributed software a structural discipline. di Kramer, Jeff

    Articolo

    Engineering distributed software a structural discipline.
  8. 18

    Permissive interfaces. di Henzinger, Thomas A.

    Articolo

    Permissive interfaces.
  9. 19

    Fluent temporal logic for discrete-time event-based models. di Letier, Emmanuel

    Articolo

    Fluent temporal logic for discrete-time event-based models.
  10. 20

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB). di Shen, Junrong

    Articolo

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB).

Strumenti per la ricerca: