Đang hiển thị 1 - 10 kết quả của 14 cho tìm kiếm '"Specifying and verifying and reasoning about programs."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 1

    Compositional refinement of interactive systems. Bằng Broy, Manfred

    Xuất bản năm Journal of the ACM
    Bài viết

    Compositional refinement of interactive systems.
  2. 2

    Symbolic path simulation in path-sensitive dataflow analysis. Bằng Hampapuram, Hari

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Relational analysis of algebraic datatypes. Bằng Kuncak, Viktor

    Xuất bản năm Software engineering notes.
    Bài viết

    Relational analysis of algebraic datatypes.
  4. 4

    Lightweight object specification with typestates. Bằng Bierhoff, Kevin

    Xuất bản năm Software engineering notes.
    Bài viết

    Lightweight object specification with typestates.
  5. 5

    Joining dataflow with predicates. Bằng Fischer, Jeffrey

    Xuất bản năm Software engineering notes.
    Bài viết

    Joining dataflow with predicates.
  6. 6

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. Bằng Dingel, Juergen

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Efficient incremental algorithms for dynamic detection of likely invariants. Bằng Perkins, Jeff H.

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Interface automata. Bằng De Alfaro, Luca

    Xuất bản năm Software engineering notes.
    Bài viết

    Interface automata.
  9. 9

    Modular verification of collaboration-based software designs. Bằng Fisler, Kathi

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Register-machine based processes. Bằng Bergstra, Jan A.

    Xuất bản năm Journal of the ACM
    Bài viết

    Register-machine based processes.

Công cụ tìm kiếm: