Cálculos teóricos utilizando conjuntos de funções de base com potenciais efetivos de caroço (pseudopotencial ECP) foram efetuados para um grande número de sistemas moleculares relacionados a SF6. Utilizou-se cálculos do tipo Hartree-Fock (HF), MP2 e QCISD(T). Foram feitos estudos para propriedades de estrutura eletrônica como geometrias moleculares, energias de dissociação de ligação e de ionização adiabática. No caso de estruturas moleculares, observou-se existir boa concordância entre os dados obtidos com pseudopotencial e aqueles disponíveis na literatura. Para propriedades relacionadas com energias, os métodos com pseudopotencial reproduzem a tendência observada usando cálculos mais sofisticados. O estudo da reação de SF6 com CO+ foi caracterizado pela formação de um complexo íon-molécula reagente passando por um estado de transição e originando um complexo íon-molécula produto. Nesta reação, nem o estado de transição, nem o complexo íon-molécula reagente puderam ser localizados usando energias e forças do método HF, pois a reação prossegue sem barreiras formando SF5+ + FCO, sem uma barreira potencial associada ao processo. O uso de cálculos a partir de metodologia CASSCF(7,7)/B0 foi necessário para caracterizar o complexo íon-molécula reagente como ponto estacionário. Finalmente, estudos mais detalhados foram feitos para averiguar as mudanças na energia e na distribuição de cargas com o avanço da reação de reagentes para produtos. Observou-se que a reação SF6 + CO+ -> SF5+ + FCO ocorre via abstração de F-, com a barreira de energia eletrônica de 103.86 kJ mol-1.
