Journal of Computer and System Sciences · 1995 · 93 citations · 0 references
ComputingComputer EngineeringComputer ScienceFault ToleranceFault-tolerant ComputingFault-tolerant SystemsFault DetectionFault DiagnosisFinite State Machine ModelingFinite-state MachinesModel CheckingSoftware TestingDiagnostic TestingFinite State Machine VerificationFinite-state Verification