15 citations · 33 across the 13 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2019★ 1 cited
Nonlinear Craig Interpolant Generation
Ting Gan, Bican Xia, Bai Xue +2
Interpolation-based techniques have become popularized in recent years because of their inherently modular and local reasoning, which can scale up existing formal verification tech…
cs.FL2018★ 1 cited
Parameter Synthesis Problems for one parametric clock Timed Automata
Liyun Dai, Taolue Chen, Zhiming Liu +3
In this paper, we study the parameter synthesis problem for a class of parametric timed automata. The problem asks to construct the set of valuations of the parameters in the param…