2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2005★ 2 cited
Under-approximation of the Greatest Fixpoints in Real-Time System Verification
Farn Wang
Techniques for the efficient successive under-approximation of the greatest fixpoint in TCTL formulas can be useful in fast refutation of inevitability properties and vacuity check…
cs.SE2005
Under-approximation of the Greatest Fixpoint in Real-Time System Verification
Farn Wang
Techniques for the efficient successive under-approximation of the greatest fixpoint in TCTL formulas can be useful in fast refutation of inevitability properties and vacuity check…