Showing 1 - 10 results of 14 for search '"Specifying and verifying and reasoning about programs."', 查詢時間: 0.02s Refine Results
  1. 1

    Compositional refinement of interactive systems. 由 Broy, Manfred

    發表在 Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  2. 2

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

    Article

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

    Relational analysis of algebraic datatypes. 由 Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  4. 4

    Lightweight object specification with typestates. 由 Bierhoff, Kevin

    Article

    Lightweight object specification with typestates.
  5. 5

    Joining dataflow with predicates. 由 Fischer, Jeffrey

    Article

    Joining dataflow with predicates.
  6. 6

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

    Article

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

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

    Article

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

    Interface automata. 由 De Alfaro, Luca

    Article

    Interface automata.
  9. 9

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

    Article

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

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

    發表在 Journal of the ACM
    Article

    Register-machine based processes.

檢索工具: