Publication | Closed Access

Integrating several formalisms in order to increase Fault Trees' modeling power

EngineeringSoftware EngineeringModel CheckingSoftware AnalysisFormal VerificationReliability EngineeringFault AnalysisSystems EngineeringSeveral FormalismsFormal SpecificationModeling PowerFormal ModelingComputer EngineeringComputer ScienceProgram AnalysisAutomated ReasoningFormal MethodsFault TreesFault Injection