Memory-efficient algorithms for the verification of temporal properties - Concepedia

Concepedia

Publication | Open Access

Memory-efficient algorithms for the verification of temporal properties

DOI Full Paper Access

497

Citations

14

References

1992

Year

C. Courcoubetis, M. Vardi, Pierre Wolper, Mihalis Yannakakis

Formal Methods in System Design

EngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided VerificationComputer ScienceTemporal LogicTimed SystemFormal VerificationTemporal ReasoningTemporal Properties

References

	Year	Citations

Page 1