VIS and CareSets

From: Tom Bienmueller (Tom.Bienmueller@Informatik.Uni-Oldenburg.DE)
Date: Tue Sep 12 2000 - 00:36:46 MDT

  • Next message: Rainer Dorsch: "VIS and Linux"

    Hello everybody,

    this email contains a little conversation between Roderick Bloem and me
    regarding VIS and caresets. Everybody is welcome to join it ...

      Tom

    P.S.: We currently specify approximations to the reachable state-set by
    simple boolean constraints over the set of observables. What do you
    think about this input-language?

    Roderick Bloem wrote:
    >
    > It's a very good idea. We don't have anything like this currently, and
    > it would probably involve some changes. We have to find a way to read
    > in a set. Reading it in as a BDD may work, but then it has to be stored
    > in a way independent of the variable allocation.
    >
    > [ ... ]
    >
    >
    > Tom Bienmueller wrote:
    > >
    > > [ ... ]
    > >
    > > we are currently evaluating some techniques to exploit certain
    > > approximations of the reachable state set to generate more tractable
    > > model descriptions. These approximations are directly deduced from the
    > > Statemate to SMI-compiler or from the verification task. The first
    > > results are very encouraging ... Is there a way to provide these
    > > care-sets to vis to let it also exploit that knowledge (as approximation
    > > to the reachable state set)? If not, what do you think about it? 

    -- 
=================================================================
Dipl.-Inform. Tom Bienm"uller
OFFIS - Division Embedded Systems
Escherweg 2  -  D-26121 Oldenburg  -  Germany
Phone: (+49-441) 798-2378  -  Fax: (+49-441) 798-2145
eMail: Tom.Bienmueller@OFFIS.DE  -  URL: http://www.offis.de
=================================================================

    This archive was generated by hypermail 2b29 : Tue Sep 12 2000 - 00:52:11 MDT