Publication | Closed Access

A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes

EngineeringAutomated ReasoningProbabilistic SystemProbabilistic VerificationMarkov ProcessesVerificationFormal MethodsMarkov ModelsSystems EngineeringDynamic LogicProbability TheoryComputer ScienceModel CheckingFormal VerificationDependability ModellingNew Formalism