Le Paralléliseur

Présentation

Le Paralléliseur est une application qui réduit notablement les temps de traitement des projets B par une utilisation transparente, distante et parallèle de l’Atelier B.

Lorsqu’il s’agit de prouver des projets relativement simples, comme des calculs de PGCD ou de détermination de minimum, le temps de calcul est négligeable, mais dès lors que les projets gagnent en complexité, le processus de preuve d’un projet B devient coûteux en temps.

Téléchargements

Notes spécifiques concernant les plateformes

Microsoft Windows

L’archive zip intégre les bibliothèques nécessaires à l’exécution de l’application. N’oubliez pas d’installer par ailleurs Putty et éventuellement un gestionnaire de clés, tel qu’expliqué dans la documentation.

Version Linux

Attention : Pour la version Linux, assurez-vous d’avoir installé la bibliothèque Qt (paquets libqt4-core et libqt4-gui notamment), ainsi que la bibliothèque Avahi. Cliquez ici pour afficher la liste des dépendances en terme de bibliothèques.