Le logiciel Why3 trouve vos erreurs

— Le 30 avril 2021
Vérifier vos programmes… grâce à un programme !  

Si vous codez, vous savez qu’il existe des tonnes de logiciels de vérification. Why3 est l’un d’entre eux, sauf qu’il a été développé par des chercheurs français ! Il vient de fêter ses 10 ans et sa particularité est d’allier un assistant automatique avec un second plus manuel pour les parties de code les plus complexes. Vous pouvez même l’essayer dans votre navigateur.

À lire aussi dans TheMetaNews

Un MOOC très ouvert

Oyé jeunes gens. Pour vos nouveaux doctorants – c'est l’occasion de leur parler de TheMetaNews ! – , voici un MOOC sur la science ouverte dispensé par Sorbonne Université dans une nouvelle mouture et ouvert à toutes et tous. À la clef huit heures d’effort avec un...

Vos données bien présentées

Oh le beau tableur. Pour partager vos données – si vous en avez le droit, bien évidemment – l’application Open Data Editor vous sera peut-être utile afin de les montrer sous leur meilleur jour sans trop mettre les mains dans le code. Développé par l’organisation à but...

Votre poster en preprint

L'appât des viennoiseries. Peut-être que tout le monde n’est pas passé devant votre œuvre à la dernière session poster. Pour garder une trace, le partager facilement et accroître la visibilité de vos recherches, pourquoi ne pas le déposer en ligne ? Les...