Publisher
Springer International Publishing
Reference30 articles.
1. Barnett, M., Fähndrich, M., Leino, K.R.M., Müller, P., Schulte, W., Venter, H.: Specification and verification: the Spec# experience. Commun. ACM 54(6), 81–91 (2011)
2. Lecture Notes in Computer Science;C Barrett,2011
3. Baudin, P., et al.: ACSL: ANSI/ISO C specification language.
http://frama-c.com/acsl.html
4. Blanc, R., Kuncak, V., Kneuss, E., Suter, P.: An overview of the Leon verification system: verification by translation to recursive functions. In: Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, pp. 1:1–1:10 (2013)
5. Lecture Notes in Computer Science;A Blanchard,2018
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献