Model checking linear temporal logic of rewriting formulas under localized fairness - Concepedia

Concepedia

Publication | Closed Access

Model checking linear temporal logic of rewriting formulas under localized fairness

37

Citations

24

References

2014

Year

Kyungmin Bae, José Meseguer

Science of Computer Programming

Localized FairnessEngineeringAutomated ReasoningRegulated RewritingVerificationLinear Temporal LogicFormal MethodsRewriting SystemEquivalence CheckingComputer ScienceTemporal LogicModel CheckingFormal Verification

References

	Year	Citations

Page 1