Search Results - "Model checking."

Refine Results
  1. 21

    Relational analysis of algebraic datatypes. by Kuncak, Viktor

    Article


    Cover Image
  2. 22

    Modular design and verification of component-based mechatronic systems with online-reconfiguration. by Giese, Holger

    Article


    Cover Image
  3. 23

    Formally modelling software architectures with the UML 2.0 profile for π-ADL. by Oquendo, Flavio

    Article


    Cover Image
  4. 24

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

    Article


    Cover Image
  5. 25

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

    Article


    Cover Image

Search Tools: