Introduction au Model-Checking

Introduction au Model checking et Logiques temporelles ... Linear Temporal Logic (LTL). ? Computation Tree Logic (CTL). ? et CTL*. Badin, CEA ...