Author:
Ben-David Shoham,Copty Fady,Fisman Dana,Ruah Sitvanit
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference58 articles.
1. Aho AV, Sethi R, Ullman JD (1986) Compilers: princiles, techniques, and tools. Addison-Wesley, Boston
2. Armoni R, Fix L, Flaisher A, Grumberg O, Piterman N, Tiemeyer A, Vardi MY (2003) Enhanced vacuity detection in linear temporal logic. In: Proceedings of the 15th international conference on computer aided verification (CAV), Boulder, CO, USA, 8–12 July 2003, pp 368–380
3. Baumgartner J, Mony H, Paruthi V, Kanzelman R, Janssen G (2006) Scalable sequential equivalence checking across arbitrary design transformations. In: 24th International Conference on Computer Design (ICCD), San Jose, CA, USA, 1–4 Oct 2006, pp. 259–266
4. Beatty DL, Bryant RE (1994) Formally verifying a microprocessor using a simulation methodology. In: 31st Design automation conference (DAC), San Diego, CA, USA, 6–10 June 1994, pp 596–602
5. Beer I, Ben-David S, Eisner C, Rodeh Y (1997) Efficient detection of vacuity in ACTL formulas. In: Proceedings of the 9th international conference on computer aided verification (CAV), Haifa, Israel, 22-25 June 1997, pp 279–290
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献