يعرض 1 - 10 نتائج من 14 نتيجة بحث عن '"Specifying and verifying and reasoning about programs."', وقت الاستعلام: 0.02s تنقيح النتائج
  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.

أدوات البحث: