coverability graph

Calculating the Return on... ... 盖板滑轨 cover slide 可覆盖图形 coverability graph 可覆盖树 coverability tree ...

...量分析(Invariants)、基于覆盖图的活性和有界性分析(Coverability Graph)、 仿真(Simulation)等。