Search Results - "Specifying and Verifying and Reasoning about Programs."

Refine Results
  1. 11

    Compositional refinement of interactive systems. by Broy, Manfred

    Published in Journal of the ACM
    Article


    Cover Image
  2. 12

    Interface automata. by De Alfaro, Luca

    Article


    Cover Image
  3. 13

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

    Article


    Cover Image
  4. 14

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

    Article


    Cover Image

Search Tools: