Author:
Xie Fei,Yang Guowu,Song Xiaoyu
Subject
Hardware and Architecture,Information Systems,Software
Reference29 articles.
1. Conjoining specifications;Abadi;TOPLAS,1995
2. Reactive modules;Alur;FMSD,1999
3. Automatic symbolic verification of embedded systems;Alur;IEEE TSE,1996
4. Amla, Nina, Emerson, Allen. E., Namjoshi, Kedar S., Trefler, Richard. 2001. Assume-guarantee based compositional reasoning for synchronous timing diagrams. In: Proceedings of TACAS.
5. Balarin, F., Hsieh, H., Jurecska, A., Lavagno, L., Sangiovanni-Vincentelli, A., 1996. Formal verification of embedded systems based on CFSM networks. In: Proceedings of DAC.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献