Treffer 1 - 10 von 14 für Suche '"Specifying and verifying and reasoning about programs."', Suchdauer: 0,02s Treffer weiter einschränken
  1. 1

    Compositional refinement of interactive systems. von Broy, Manfred

    Veröffentlicht in Journal of the ACM
    Artikel

    Compositional refinement of interactive systems.
  2. 2

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

    Relational analysis of algebraic datatypes. von Kuncak, Viktor

    Veröffentlicht in Software engineering notes.
    Artikel

    Relational analysis of algebraic datatypes.
  4. 4

    Lightweight object specification with typestates. von Bierhoff, Kevin

    Veröffentlicht in Software engineering notes.
    Artikel

    Lightweight object specification with typestates.
  5. 5

    Joining dataflow with predicates. von Fischer, Jeffrey

    Veröffentlicht in Software engineering notes.
    Artikel

    Joining dataflow with predicates.
  6. 6

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

    Veröffentlicht 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. von Perkins, Jeff H.

    Veröffentlicht in Software engineering notes.
    Artikel

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

    Interface automata. von De Alfaro, Luca

    Veröffentlicht in Software engineering notes.
    Artikel

    Interface automata.
  9. 9

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

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

    Veröffentlicht in Journal of the ACM
    Artikel

    Register-machine based processes.

Suchwerkzeuge: