2 citations · 3 across the 5 of their papers we have counts for
5 papers
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…
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…
Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures
Farn Wang
We use dense variable-ordering to define HRD (Hybrid-Restriction Diagram), a new BDD-like data-structure for the representation and manipulation of state-spaces of linear hybrid au…
TCTL Inevitability Analysis of Dense-time Systems
Farn Wang, Geng-Dian Hwang, Fang Yu
Inevitability properties in branching temporal logics are of the syntax forall eventually ϕ, where ϕis an arbitrary (timed) CTL formula. In the sense that "good things will happen"…
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
Farn Wang, Geng-Dian Hwang, Fang Yu
Three numerical coverage metrics for the symbolic simulation of dense-time systems and their estimation methods are presented. Special techniques to derive numerical estimations of…