প্রদর্শন 1 - 10 ফলাফল এর 14 অনুসন্ধানের জন্য '"Specifying and verifying and reasoning about programs."', জিজ্ঞাসা করার সময়: 0.02সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Compositional refinement of interactive systems. অনুযায়ী Broy, Manfred

    প্রকাশিত Journal of the ACM
    প্রবন্ধ

    Compositional refinement of interactive systems.
  2. 2

    Symbolic path simulation in path-sensitive dataflow analysis. অনুযায়ী Hampapuram, Hari

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

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

    Relational analysis of algebraic datatypes. অনুযায়ী Kuncak, Viktor

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Relational analysis of algebraic datatypes.
  4. 4

    Lightweight object specification with typestates. অনুযায়ী Bierhoff, Kevin

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Lightweight object specification with typestates.
  5. 5

    Joining dataflow with predicates. অনুযায়ী Fischer, Jeffrey

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Joining dataflow with predicates.
  6. 6

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. অনুযায়ী Dingel, Juergen

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    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.

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

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

    Interface automata. অনুযায়ী De Alfaro, Luca

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Interface automata.
  9. 9

    Modular verification of collaboration-based software designs. অনুযায়ী Fisler, Kathi

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

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

    Register-machine based processes. অনুযায়ী Bergstra, Jan A.

    প্রকাশিত Journal of the ACM
    প্রবন্ধ

    Register-machine based processes.

অনুসন্ধান সাধনীগুলি: