Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference31 articles.
1. O’Hearn, P.: Separation logic. Commun. ACM 62(2), 86–95 (2019). https://doi.org/10.1145/3211968
2. O’Hearn, P.: Separation logic. http://www0.cs.ucl.ac.uk/staff/p.ohearn/SeparationLogic/Separation_Logic/SL_Home.html
3. StarExec: http://www.starexec.org
4. Sighireanu, M., Cok, D.: Report on SL-COMP’14. JSAT 9, 173–186 (2014). https://doi.org/10.3233/SAT190107
5. Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.): Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, LNCS, vol. 11429. Springer (2019). https://doi.org/10.1007/978-3-030-17502-3
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A First-order Logic with Frames;ACM Transactions on Programming Languages and Systems;2023-05-15
2. TOOLympics II: competitions on formal methods;International Journal on Software Tools for Technology Transfer;2021-06-18