Sponsorised links
December 2007
Embedded.com - Applying Constrained-Random Verification to Microprocessors
by lelandais
Constrained-random verification (CRV) offers a highly effective way to deal with the challenges of microprocessor verification
October 2007
September 2007
FormCheck
by Simay
& 4 others
Et un vérificateur de formulaire en plus..un. Celui-ci fonctionne avec moo.fx. Ce qui eld émarque des autres que j'ai pû voir, c'est la clareté de sa doc et l'apparente facilité d'usage. A noter que vous trouverez d'autres script s sur ce site suisse, tous clairement expliqués.
Sponsorised links
August 2007
Check 1.3__oneline_Service de vérification de la sécurité réseau de votre ordinateur
by decembre
& 6 others
Bienvenue sur notre nouveau service de vérification de la sécurité réseau de votre ordinateur
verification fichier system - Recherche Google
by decembre
Les fichiers système - Mais où sont placés les fichiers d'installation ? ... vous lancez l'utilitaire de vérification des fichiers système ("sfc /scannow"
sfc /scannow et ses variantes__verification Protection des fichiers XP
by decembre
a commande sfc.exe (System File Checker) vous permet de lancer une vérification des fichiers système. Les paramètres possibles sont les suivants : * /scannow : effectue immédiatement une vérification des fichiers système. * /scanonce : vérifie tous
Un bon patron qui vérifie la grammaire et l’orthographe de votre site web » Adverbe.com - Ecrire pour le Web, formation, travail en réseau à distance, conseil éditorial, rédaction
by camel
& 1 other
Rankspirit est une interface qui récupère automatiquement en ligne le contenu de votre site web pour le soumettre au vérificateur automatique Bon Patron.
Bon Patron, service gratuit développé par les universitaires canadiens Terry Nadasdi et Stéfan Sinclair, identifie les fautes d’orthographe et les problèmes de grammaire. Il vous laisse libre de choisir ou non ses propositions de correction.
June 2007
January 2007
January 2006
Why: a software verification tool
by GeorgesMariano
Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for
1
(12 marks)
