BAHAMAS quantifies software reliability and common-cause failures using Bayesian and HRA-aided methods, especially under limited data. It evaluates DI&C system architectures, estimates safety margins, and supports reliability assessments throughout the software development lifecycle. - View it on GitHub