vis automata-based approach to model checking

From: Fang Wang (wangf@IRO.UMontreal.CA)
Date: Thu May 31 2001 - 09:39:46 MDT

  • Next message: Roderick Bloem: "Re: Getting VIS1.4"

    Hi,

    I am very interesting in VIS. I have following three question. Thanks
    for your reply.

    1)Are automata-based approach used in VIS.
    2)Which logic formular are used to represent the property in this
    automata-based approach.

    3)Need to build the product of the automata for the process and proeprty
    to do the check.

    Thanks very much.

    Fang

    This archive was generated by hypermail 2b30 : Thu May 31 2001 - 09:44:41 MDT