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