Author:
Borrione Dominique,Liu Miao,Ostier Pierre,Fesquet Laurent
Reference17 articles.
1. Abardanel, Y., Beer, I., Gluhovsky, L., Keidar, S., and Wolfsthal, Y. (2000) FoCs: automatic generation of simulation checkers from formal specifications. In: Emerson, E.A. and Sistla, A.P. (eds) Computer Aided Verification 12th International Conference, CAV 2000, vol. 1855 of Lecture Notes in Computer Science. Springer, Chicago, IL ISBN: 3-540-67770-4, also available from http://www.haifa.il.ibm.com/projects/verification/RB_Homepage/ps/checkers.ps .
2. Accellera(2003)Property Specification Language Reference Manual.
3. Accellera, version 1.01 edition.
4. Accellera(2004)Property Specification Language Reference Manual.
5. Accellera, version 1.1 edition.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献