Publication | Closed Access

A first order logic for specification of timed algorithms: basic properties and a decidable class

Decidable ClassDecision ProcedureFormal SpecificationEngineeringAutomated ReasoningVerificationFormal MethodsSystems EngineeringComputational ComplexityFormal TechniqueComputer ScienceTimed AlgorithmsTemporal LogicTimed SystemFormal VerificationFirst Order Logic