Author:
Denise Alain,Gaudel Marie-Claude,Gouraud Sandrine-Dominique,Lassaigne Richard,Oudinet Johan,Peyronnet Sylvain
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference49 articles.
1. Abed, N., Tripakis, S., Vincent, J.-M.: Resource-aware verification using randomized exploration of large state spaces. In: Model Checking Software. 15th International SPIN Workshop. Lecture Notes in Computer Science, vol. 5156, pp. 214–231 (2008)
2. Aldous D.: An introduction to covering problems for random walks on graphs. J. Theor. Probab. 4, 197–211 (1991)
3. Arnold A.: Finite Transition Systems. Prentice-Hall, Englewood Cliffs (1994)
4. Barrett, C., Ranise, S., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB). http://www.SMT-LIB.org (2008)
5. Bobot, F., Conchon, S., Contejean, E., Lescuyer, S.: Implementing polymorphism in SMT solvers. In: SMT ’08/BPR ’08: Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning, pp. 1–5. ACM, New York (2008)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献