Je connais un logiciel fabriqué par la société CBAO qui traite de la formulation des bétons.
Une version gratuite et téléchargeable depuis leur site (nécessite une inscription préalable).
G testé et cela donne de très bons résultats.
Y'a aussi une page web permettant d'ajuster les rendements volumiques en ligne et effectuer des analyses granulométriques...
http://cbao.fr/index.php?article=BCN_PROD