1987 · 26 citations · 0 references
ComputingComputer ScienceSystems EngineeringFormal MethodsSystems DesignSystems ModelingModel CheckingModel ExecutionReal-time Systems DesignSpecification LanguagesTemporal LogicVerificationLinear Temporal LogicTemporal Logic AssertionsTemporal Logic ReasoningTemporal Logic SpecificationTemporal Logic VerificationTemporal SpecificationsTemporal Verification