Dynamic, semi-formal and formal reliability analysis tools