1994 · 17 citations · 0 references
ComputingComputer ScienceSystems EngineeringFormal MethodsKnowledge RepresentationLogicDeductive VerificationExecutable System ModelsModel CheckingPredicate LogicTemporal LogicVerificationKnowledge VerificationLogic VerificationLogical Framework ApproachModel-based VerificationSystem Verification