An experiment in parallelizing an application using formal methods
Résumé
Les scientifiques ont développé beaucoup de codes séquentiels en utilisant des langages comme le FORTRAN et les machines parallèles peuvent leur permettre d'améliorer leurs résultats. Cependant la parallélisation de code séquentiel n'est pas aisée. Notre