Εμφανίζονται 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.

Εργαλεία αναζήτησης: