Bienvenue Prénom - Déconnexion

Mot de passe oublié ?Accès membres : merci de vous identifier

Journal du Net > Vidéo > Solutions > Le model checking, pour vaincre la complexité
Chargement en cours...
En savoir plus
Model checking: définition

Jospeh Sifakis, prix Turing 2007 (l'équivalent du prix Nobel pour le domaine de l'informatique), explique ce qu'est le model checking, pour lequel il a été récompensé.

Publiée le : 25 juin 2008

Contact - Aide
La vidéo

Le model checking, pour vaincre la complexité
 Catégorie : Solutions
 Genre : Interview
 Auteur : Guillaume Serries
 Date : 23/06/2008  Durée : 1'49''

 Envoyer   » Donnez votre avis

Liste de lecture
166. Les objectifs du projet de...
167. La structure de gouvernance du...
168. Le model checking, pour...  EN COURS
169. Compétition et partenariat,...
170. Les référentiels de...
171. Les référentiels de bonnes...
172. Cobit : une boîte à outils...
173. Les pratiques des DSI en...
174. La certification CGEIT
175. Les principaux projets de...
176. La sélection des solutions...
177. L'AP-HM privilégie ISO 9001...
178. Les recettes pour réussir un...
179. Fractal:Edge, une vision du...
180. Panopticon : visualiser des...
181. Inxight : un mode de...
182. L'INRIA se positionne sur les...
183. Le défi de la valorisation...
184. Les derniers partenariats...
185. S'impliquer dans la...
186. Un simulateur de conduite à...
187. La gestion des contrats de...
188. Fusion des systèmes...
189. L'urbanisation : outil...
190. L’urbanisation comme méthode...
191. Air France et le Centre...
192. 1 200 BlackBerry pour suivre...
193. Un client léger pour les accès...
194. Une méthode de pilotage des...
195. ISO 27001 et SMSI
196. Les certifications de sécurité
197. Evolutions du métier de RSSI
198. Microsoft et la ville de Paris...
199. La contribution de la DSI à la...
200. Les choix technologiques pour...
201. La gestion de la performance...
202. Convaincre sa direction...
203. Les modèles économiques du...
204. Le point de vue de l’April sur...
205. Les actions de l’April pour...
206. Panorama de la...
207. Cybercriminalité : impacts...
208. Cybercriminalité : attaques en...
209. L'implication d'Axa au sein du...
210. Les principaux projets de la...
211. L'innovation au cœur des...
212. Surfaces intelligentes et...
213. DSI de l'Unedic : les...
214. Le rôle de la DSI dans...
215. Performance : le point de vue...
216. Pôle de compétitivité...
217. L'évolution des usages dans...
218. Les tendances du marché...
219. Cigref : quel bilan pour 2007 ...
220. Bilan Le Cercle de la sécurité...
221. Bilan Le Cercle de la sécurité...
222. Bilan Le Cercle de la sécurité...
223. Les échéances 2008, par Régis...
224. Les chantiers en cours, par...
225. Le bilan 2007 par Régis...
226. Réferencement : l'évènement...
227. Référencement : vers une...
228. Réferencement : les tendances...
229. Bilan ASP Saas : les...
230. Bilan ASP Saas : Les grands...
231. Bilan ASP Saas : Les tendances...
232. L’alignement stratégique du...
233. L’innovation, au cœur des...
234. La veille : nerf de la guerre...
235. L’enjeu de la sécurité du...
236. Jean Mounet (Syntec) - La...
237. Jean Mounet (Syntec) -...
238. Jean Mounet (Syntec) - Les...
239. L'origine du projet de support...
240. Les différentes étapes du...
241. ITIL dans le contrat...
242. Le projet d’évolution du...
243. Le plan de continuité...
244. L'AFP face à la coupure réseau...
245. La politique de choix...
246. Les projets Web à l'APEC
247. L'évolution du système...
248. L'état d'avancement de la...
249. Pourquoi avoir externalisé le...
250. Le recyclage informatique...
251. Les principaux projets de la...
252. Pourquoi prendre la présidence...
253. Pourquoi s'impliquer dans les...
254. L'apport d'ITIL à la Snecma,...
255. Les outils mis en place pour...
256. Les évolutions du support...
257. Le point de vue du W3C sur le...
258. Le Web mobile au W3C
259. Le W3C au sein du Forum...
260. Le phénomène ITIL prend de...
261. Un Trivial Pursuit pour se...
262. Présentation de l'OCLCTIC et...
263. Collaboration police et...
264. Entreprise victime : qui...
265. La stratégie de Microsoft Live...
266. Le futur de la recherche en...
267. Les innovations de Live Search
268. Oracle CRM : Analytics
269. Oracle CRM : partager les...
270. Oracle CRM : ergonomie et...
271. Le décisionnel et l'innovation...
272. L'apport des technologies de...
273. Le modèle offshore est-il...
274. L'Inde, numéro un mondial des...
275. L'avantage "coûts" de...
276. Le modèle relationnel offshore...
277. Externalisation : 3 questions...
278. La virtualisation du poste de...
279. La virtualisation du poste de...
280. La virtualisation du poste de...
281. La virtualisation du poste de...
282. La virtualisation du poste de...
283. Didier Lambert (Cigref) - La...
284. Didier Lambert (Cigref) - 2008...
285. Didier Lambert (Cigref) - La...
286. Papier électronique flexible :...
287. Papier électronique flexible :...
288. Livre et encre électronique :...
289. La conférence Web chez Air...
290. La conférence Web en direct...
291. La conférence Web chez Air...
292. La conférence Web chez Air...
293. Interview de Pierre Haren, PDG...
294. Interview de Pierre Haren, PDG...
295. Interview de Pierre Haren, PDG...
296. Interview de Laurent François,...
297. Interview de Laurent François,...
298. Interview de Laurent François,...
299. Interview de Stéphane Rios, DT...
300. Interview de Stéphane Rios, DT...
301. Interview de Stéphane Rios, DT...
302. Paramétrage d'un SAN
303. Installation d'une baie de...
304. Présentation d'une baie de...
305. Sécurité Vista : le mode...
306. Sécurité Vista : les codes...
307. Sécurité Vista : l'UAC
308. Sécurité Vista : les logiciels...
309. Sécurité Vista : le SDL et la...
310. Sécurité, administration et...
311. Au coeur d'un datacenter -...
312. Etude de site et enjeux...
313. L'évolution du métier de...
314. Risques de domination d'un...
315. Le marché du référencement...
316. Le positionnement de BEA sur...
317. Reportage Web 2.0 ANDESE -...
318. Reportage Web 2.0 ANDESE -...
319. Reportage Web 2.0 ANDESE -...
320. Reportage Web 2.0 ANDESE -...
321. Installer un réseau WiFi :...
322. Installer un réseau WiFi :...
323. Installer un réseau WiFi :...
324. Installer un réseau WiFi :...
325. Installer la téléphonie sur IP...
326. Installer la téléphonie sur IP...
327. Le Pacte PME, un tremplin pour...
328. Un Small Business Act à...
329. Un risque de surévaluation ?
330. Forces et avenir de Mehari ?
331. L'apport aux entreprises de...
332. Qu'est-ce que Mehari ?
333. Forum européen de...
334. Forum européen de...
335. Reportage Forum européen de...
336. Conférence itSMF sur ISO 20...
337. ASP : paroles d'éditeurs
338. ASP : les points de vigilance
339. ASP : un marché en pleine...
340. UIE : des procédures bien...
341. UIE : du papier au système...
342. UIE : du papier au système...
343. Mobilité et autres...
344. Le tracking de visage.
345. Fonctionnement du marqueur...
346. Technologie capteurs Total...
347. Le machine to machine en...
348. Les nouveautés de la mobilité...
349. Les opérateurs télécoms face...
350. Conseils d'une SSII pour mener...
351. Le tracteur guidé par GPS
352. L'avenir de la recherche en...
353. Google, toujours indétronable
354. Ce qui change dans le...
355. Chat video Microsoft Benjamin...
356. Interview HSC - Wardriving
357. Interview Pierre Guillou -...
358. Skype et la sécurité de la...
359. IBM sur le marché du travail...
360. Sécurité de la VoIP
361. Norauto instaure le travail...
362. Le Web 2.0 face aux standards
363. Steve Ballmer au Mix 06
364. Editeurs : le modèle ASP à la...
365. La vidéo au service des...
Journal du Net Voir un exemple
Economie & Management Voir un exemple
Emploi Voir un exemple
Evénements et
Etudes Benchmark		 Voir un exemple