Details on the 'invariant-formula' algorithm

From: Bertrand Grégoire (bgregoir@info.fundp.ac.be)
Date: Tue Mar 05 2002 - 08:22:59 MST

  • Next message: Fabio Somenzi: "Re: Details on the 'invariant-formula' algorithm"

    hello,

    I'm a belgian student presently working on model checking for my thesis.
    I'm looking for more details on the power, weaknesses, and optimisations
    made by using the particular 'invariant check' algorithm you use in you
    VIS tool.

    Could you give me some reference about this?
    Thanks a lot, and good furtherwork.

    Bertrand. 

    -- 
____________________________________________________

    Bertrand Grégoire
étudiant en 3e maîtrise informatique
Facultés Universitaires Notre-Dame de la Paix, Namur

    mail: bgregoir@info.fundp.ac.be
tel: (0032)(0)81/231000
ICQ: 110162983
____________________________________________________

    This archive was generated by hypermail 2b30 : Tue Mar 05 2002 - 08:29:14 MST