Mostra 21 - 30 risultati di 69 ricerca '"Program verification."', tempo di risposta: 0,02s Raffina i risultati
  1. 21

    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.
  2. 22

    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.
  3. 23

    Engineering distributed software a structural discipline. di Kramer, Jeff

    Articolo

    Engineering distributed software a structural discipline.
  4. 24

    Permissive interfaces. di Henzinger, Thomas A.

    Articolo

    Permissive interfaces.
  5. 25

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

    Articolo

    Fluent temporal logic for discrete-time event-based models.
  6. 26

    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).
  7. 27

    Context- and path-sensitive memory leak detection. di Xie, Yichen

    Articolo

    Context- and path-sensitive memory leak detection.
  8. 28

    Relational analysis of algebraic datatypes. di Kuncak, Viktor

    Articolo

    Relational analysis of algebraic datatypes.
  9. 29

    Lightweight object specification with typestates. di Bierhoff, Kevin

    Articolo

    Lightweight object specification with typestates.
  10. 30

    Joining dataflow with predicates. di Fischer, Jeffrey

    Articolo

    Joining dataflow with predicates.

Strumenti per la ricerca: