Author:
Bugariu Alexandra,Ter-Gabrielyan Arshavir,Müller Peter
Publisher
Springer International Publishing
Reference38 articles.
1. Array maximum, by elimination (2021). http://viper.ethz.ch/examples/max-array-elimination.html
2. F* issue 1848 (2021). https://github.com/FStarLang/FStar/issues/1848
3. Viper test suite (2021). https://github.com/viperproject/silver/tree/master/src/test/resources
4. Amighi, A., Blom, S., Huisman, M.: Vercors: a layered approach to practical verification of concurrent software. In: PDP, pp. 495–503. IEEE Computer Society (2016). https://ieeexplore.ieee.org/abstract/document/7445381
5. Astrauskas, V., Müller, P., Poli, F., Summers, A.J.: Leveraging Rust types for modular specification and verification. In: Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), vol. 3, pp. 147:1–147:30. ACM (2019). https://doi.org/10.1145/3360573
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献