Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference40 articles.
1. Barrett, C., Tinelli, C.: CVC3. In: Damm, W., Hermanns, H. (eds.) Proceedings, Computer Aided Verification, 19th International Conference, CAV 2007, LNCS, vol. 4590, pp. 298–302. Springer, Berlin (2007)
2. Baumgartner P., Fuchs A., Tinelli C.: Implementing the model evolution calculus. Int. J. Artif. Intell. Tools 15(1), 21–52 (2006)
3. Beckert, B., Hähnle, R., Schmitt, P.H. (eds): Verification of Object-Oriented Software: The KeY Approach, LNCS, vol. 4334. Springer, Berlin (2007)
4. Benhamou, F., Goualard, F.: Universally quantified interval constraints. In: Dechter, R. (eds.) Principles and Practice of Constraint Programming-CP 2000, 6th International Conference, Singapore, LNCS, vol. 1894, pp. 67–82. Springer, Berlin (2000)
5. Bradley, A.R., Manna, Z., Sipma, H.B.: What’s decidable about arrays? In: Emerson, E.A., Namjoshi, K.S. (eds.) Proceedings, Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, vol. 3855, pp. 427–442. Springer, Berlin (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献