The methods for the prediction of β-aggregation are mostly based on physicochemical properties of the input sequences, and even small alterations may have a considerable effect in the solubility of the protein.
Aggrescan
http://bioinf.uab.es/aggrescan/
(Conchillo-Sole, et al., 2007)
PASTA
http://protein.cribi.unipd.it/pasta/
(Trovato, et al., 2007)
TANGO
http://tango.embl.de/
(Fernandez-Escamilla, et al., 2004)
Waltz
http://switpc7.vub.ac.be/cgi-bin/submit.cgi
Maurer-Stroh et al., submitted for publication