Author:
Bartzis Constantinos,Bultan Tevfik
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference22 articles.
1. Cadence SMV. http://www-cad.eecs.berkeley.edu/∼kenmcmil/smv
2. NuSMV. http://nusmv.irst.itc.it/
3. SMV. www.cs.cmu.edu/∼modelcheck/smv.html
4. Andrews GR (1991) Concurrent programming: principles and practice. Benjamin/Cummings, Redwood City, CA
5. Bartzis C, Bultan T (2003) Efficient symbolic representations for arithmetic constraints in verification. Int J Found Comput Sci 14(4):605–624
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献