Erakusten 1 - 10 emaitzak -- 14 bilaketa honetara '"Specifying and verifying and reasoning about programs."', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1

    Compositional refinement of interactive systems. nork Broy, Manfred

    Argitaratua izan da Journal of the ACM
    Artikulua

    Compositional refinement of interactive systems.
  2. 2

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

    Argitaratua izan da Software engineering notes.
    Artikulua

    Symbolic path simulation in path-sensitive dataflow analysis.
  3. 3

    Relational analysis of algebraic datatypes. nork Kuncak, Viktor

    Argitaratua izan da Software engineering notes.
    Artikulua

    Relational analysis of algebraic datatypes.
  4. 4

    Lightweight object specification with typestates. nork Bierhoff, Kevin

    Argitaratua izan da Software engineering notes.
    Artikulua

    Lightweight object specification with typestates.
  5. 5

    Joining dataflow with predicates. nork Fischer, Jeffrey

    Argitaratua izan da Software engineering notes.
    Artikulua

    Joining dataflow with predicates.
  6. 6

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. nork Dingel, Juergen

    Argitaratua izan da Software engineering notes.
    Artikulua

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  7. 7

    Efficient incremental algorithms for dynamic detection of likely invariants. nork Perkins, Jeff H.

    Argitaratua izan da Software engineering notes.
    Artikulua

    Efficient incremental algorithms for dynamic detection of likely invariants.
  8. 8

    Interface automata. nork De Alfaro, Luca

    Argitaratua izan da Software engineering notes.
    Artikulua

    Interface automata.
  9. 9

    Modular verification of collaboration-based software designs. nork Fisler, Kathi

    Argitaratua izan da Software engineering notes.
    Artikulua

    Modular verification of collaboration-based software designs.
  10. 10

    Register-machine based processes. nork Bergstra, Jan A.

    Argitaratua izan da Journal of the ACM
    Artikulua

    Register-machine based processes.

Bilaketa egiteko lanabesak: