Showing 1 - 10 results of 14 for search '"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.

खोज साधन: