[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

another question



Hi,

Just a question of interest. Could it be possible to define an abstraction
which yields to false proofs with the model-checker? (some theorem is true
in an abstract state space but the theorem is definitely wrong in the
concrete state space). Is there also a reason for it?

Thx,

Sara