Welcome to the Galileo Project , a bi-disciplinary research and development project with a home in the Departments of Computer Science and Electrical and Computer Engineering at the University of Virginia.  The project pursues basic and applied research in two fields: software design and engineering, and dynamic fault tree analysis.  The project revolves around Galileo, an experimental software tool supporting dynamic fault tree analysis and having, as additional properties, ease of use, rich non-analysis functions (printing, display, etc), low development costs, and a case for the dependability of its core modeling functions based on mathematical validation and verification.