Toon 1 - 10 resultaten van 14 Voor zoekopdracht '"Specifying and verifying and reasoning about programs."', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1

    Compositional refinement of interactive systems. door Broy, Manfred

    Gepubliceerd in Journal of the ACM
    Artikel

    Compositional refinement of interactive systems.
  2. 2

    Symbolic path simulation in path-sensitive dataflow analysis. door Hampapuram, Hari

    Gepubliceerd in Software engineering notes.
    Artikel

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

    Relational analysis of algebraic datatypes. door Kuncak, Viktor

    Gepubliceerd in Software engineering notes.
    Artikel

    Relational analysis of algebraic datatypes.
  4. 4

    Lightweight object specification with typestates. door Bierhoff, Kevin

    Gepubliceerd in Software engineering notes.
    Artikel

    Lightweight object specification with typestates.
  5. 5

    Joining dataflow with predicates. door Fischer, Jeffrey

    Gepubliceerd in Software engineering notes.
    Artikel

    Joining dataflow with predicates.
  6. 6

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. door Dingel, Juergen

    Gepubliceerd in Software engineering notes.
    Artikel

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

    Efficient incremental algorithms for dynamic detection of likely invariants. door Perkins, Jeff H.

    Gepubliceerd in Software engineering notes.
    Artikel

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

    Interface automata. door De Alfaro, Luca

    Gepubliceerd in Software engineering notes.
    Artikel

    Interface automata.
  9. 9

    Modular verification of collaboration-based software designs. door Fisler, Kathi

    Gepubliceerd in Software engineering notes.
    Artikel

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

    Register-machine based processes. door Bergstra, Jan A.

    Gepubliceerd in Journal of the ACM
    Artikel

    Register-machine based processes.

Zoekinstrumenten: