Zobrazeno 1 - 10
of 3 774
pro vyhledávání: '"Symbolic simulation"'
Autor:
Yang, Rulan, Shao, Hanyang, Han, Gao, Wang, Ziyi, Fang, Xing, You, Lizhao, Xiang, Qiao, Kong, Linghe, Zhou, Ruiting, Shu, Jiwu
Although substantial progress has been made in automatically verifying whether distributed routing configurations conform to certain requirements, diagnosing and repairing configuration errors remains manual and time-consuming. To fill this gap, we p
Externí odkaz:
http://arxiv.org/abs/2409.20306
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Al-Akhras, Salim Ismail, Tahar, Sofiène, Nicolescu, Gabriela, Langevin, Michel, Paulin, Pierre
Publikováno v:
EPTCS 122, 2013, pp. 23-37
In top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do n
Externí odkaz:
http://arxiv.org/abs/1308.0209
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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 dense-time state-spaces have also been developed. Properties of the m
Externí odkaz:
http://arxiv.org/abs/cs/0303027
Autor:
Wang, Farn
Intuitively, an (implementation) automata is simulated by a (specification) automata if every externally observable transition by the implementation automata can also be made by the specification automata. In this work, we present a symbolic algorith
Externí odkaz:
http://arxiv.org/abs/cs/0610085