Showing 621 - 630 results of 763 for search '"Reason ."', query time: 0.02s Refine Results
  1. 621

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

    Article

    Symbolic path simulation in path-sensitive dataflow analysis.
  2. 622

    Reasoning about confidentiality at requirements engineering time. by De Landtsheer, Renaud

    Article

    Reasoning about confidentiality at requirements engineering time.
  3. 623

    Relational analysis of algebraic datatypes. by Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  4. 624

    Lightweight object specification with typestates. by Bierhoff, Kevin

    Article

    Lightweight object specification with typestates.
  5. 625

    Joining dataflow with predicates. by Fischer, Jeffrey

    Article

    Joining dataflow with predicates.
  6. 626

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

    Article

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

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

    Article

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

    Reasoning about partial goal satisfaction for requirements and design engineering. by Letier, Emmanuel

    Article

    Reasoning about partial goal satisfaction for requirements and design engineering.
  9. 629

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  10. 630

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

    Article

    Modular verification of collaboration-based software designs.

Search Tools: