Comments on: CAV / SoftMC / GDV à Edimbourg : petit bilan personnel

By: online casinos

online casinos — Thu, 08 Sep 2005 19:09:38 +0000

Very informed and interesting comments! Greetings.

online casinos

By: Hemisphair - 2e saison » Blog Archive » Après le Friday Cat Blogging, à quand le Friday Haggis Blogging ?

Thu, 28 Jul 2005 22:57:36 +0000

[…] cier Emmanuel pour ses commentaires argumentés et instructifs (et aussi pour l’inviter à […]

By: François

François — Tue, 19 Jul 2005 15:35:09 +0000

OK, en HSS (Humanities Social Science) je n’ai jamais eu à y mettre les pieds (j’étais plutôt AFB, Adam Ferguson Building) dans les seminar rooms.

By: Morgan

Morgan — Tue, 19 Jul 2005 09:20:53 +0000

Oui, oui, c’est bien un amphi d’Appleton. Je ne sais plus le numéro correspondant, mais c’est le grand amphi du premier étage d’Appleton ;-)

By: François

François — Tue, 19 Jul 2005 09:06:22 +0000

C’est un amphi d’Appleton, ça (photo “avant ma présentation”) ? On dirait le lecture theatre A, B ou C derrière la DHT (David Hume Tower).

By: Morgan

Morgan — Tue, 19 Jul 2005 08:01:41 +0000

Mes lecteurs sont merveilleux !

Vous voyez, c’est cela qui fait toute la force des blogs : les lecteurs peuvent intervenir, corriger les erreurs ou zones de flou laissées par l’auteur, et participent ainsi au processus d’amélioration de l’ensemble. Il s’instaure un dialogue qui enrichit tant les lecteurs que l’auteur originel :-)

By: Patricia

Patricia — Tue, 19 Jul 2005 07:53:38 +0000

Mince, j’ai raté. Tant pis.

By: Patricia

Patricia — Tue, 19 Jul 2005 07:53:11 +0000

Je retente juste une fois la couleur… ça serait vachement joli de mettre de la couleur partout.

Morgan, tu vas regretter de nous avoir filé l’adresse de ton site… :)

By: Emmanuel

Emmanuel — Tue, 19 Jul 2005 07:49:04 +0000

Je me dois d’apporter quelques corrections importantes à ton texte.

1) “le siège d’Arthur en est un exemple frappant. En peu de temps (une heure de marche)“: Je pense que par honnêteté, tu devrais remplacer le “une heure de marche” par “une heure de marche et quelques chutes“. :)

2) Concernant le sujet de la conférence, il s’agissait de vérification automatique de code. Et les problèmes SAT venaient essentiellement du fait que comme ces problèmes sont indécidables on utilise habituellement des techniques d’abstraction par prédicats (predicate abstraction) ou d’interprétation abstraite (abstract interpretation) qui requièrent de vérifier qu’une erreur dans le modèle abstrait peut s’exécuter dans le modèle concret. Et s’il ne peut pas, on doit extraire le plus petit nombre de prédicats à ajouter au modèle pour invalider la trace d’erreur qui n’est pas concrétisable afin de recommencer la vérification avec un modèle abstrait plus rafiné. Le théorème d’interpolation de Craig, permet d’obtenir ce nombre de prédicat mimum mais passe par la résolution d’un problème de satisfiabilité. D’où une recherche accrue dans des algorithmes efficaces (en temps et en précision) dans la génération de cette interpolation de Craig.

3) Le fait que les systèmes temporisés ne soient pas au centre des préoccupation c’est que ça marche pas ! :) Il reste encore à trouver des méthodes qui permettent de la génération automatique de code robuste. J.-F. Raskin (et, entre autre N. Markey) nous donnent bon espoir avec la sémantique AASAP. Mais tant que ce problème d’implémentation n’aura pas été réglé, des conférences comme CAV traiterons les systèmes temporisés comme tu l’a vu.

3) Elles sont toutes floues tes photos !!! 8-)

That’s all folks !

By: Morgan

Morgan — Tue, 19 Jul 2005 07:36:03 +0000

Temps > Je ne vois pas trop ce que ce commentaire vient faire là. Il faisait référence à un autre billet ?

Didier > Merci pour ces précisions, les lecteurs apprécieront :-)

Patricia > Oui, le HTML fonctionne dans les commentaires, mais pour un nombre restreint de balises seulement. Comme tu auras pu le constater, les balises de gras, italiques, [strong] emphasis sont acceptées :-)

By: Patricia

Patricia — Mon, 18 Jul 2005 23:31:23 +0000

Non, pour votre info, ça marche pas, la couleur…
Bon, j’arrête de faire n’importe quoi…
Bonne nuit.

By: Patricia

Patricia — Mon, 18 Jul 2005 23:29:57 +0000

On peut mettre du html dans les petits commentaires ?
Bon, je teste, c’est plus simple… Et çacouleur ?

By: Didier

Didier — Mon, 18 Jul 2005 22:31:19 +0000

Disons pour être un peu plus précis que la conférence s’intéressait beaucoup à la vérification fonctionnelle au niveau implémentation (bug genre indice de tableau trop grand, pointeur nul voire mauvais résultats d’opérations arithmétiques) alors que ta thèse se place plutôt au niveau vérification de la correction temporelle de la spécification, soit bien plus en amont dans le cycle de production des logiciels.

Sinon, c’est vrai que c’était vraiment chouette (comme dirait Harry P.) cette petite semaine à Edimbourg :-)

By: temps

temps — Mon, 18 Jul 2005 22:25:16 +0000

En parlant de l’usage d’internet, je ne pense pas que l’outil soit la vrai problématique.
En d’autres termes, c’est l’utilisation de l’outil et les lois qui sanctionnent les abus qui doivent être mises au point.
Il est vrai que la fiabilité des systèmes va à l’encontre de leurs vulgarisation, mais nous avons vu apparaitre des sites ayant pignon sur rue ayant des pratiques douteuses pour ne pas dire plus. Or dans ce far west informatique, la loi du plus fort règne en maître, que ce soit les numéros de comptes bancaires qui se gardent après achat et qui sont parfois utilisés abusivement, aux noms de domaine détournés de force, aux promesses d’envoie non honorée sans remboursement, le travail sur internet ressemble plus à une rente pour quelques puissant (FAI, hébergeurs…). Je ne parle même pas des nombreuses tentatives de fraude de crève la faim, qui tente leur chance par tous les moyens.
Cordialement