Author:
Chin Wei-Ngan,Gherghina Cristian,Voicu Răzvan,Le Quang Loc,Craciun Florin,Qin Shengchao
Publisher
Springer Berlin Heidelberg
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic;Lecture Notes in Computer Science;2023
2. Compositional Satisfiability Solving in Separation Logic;Lecture Notes in Computer Science;2021
3. Satisfiability Modulo Heap-Based Programs;Computer Aided Verification;2016
4. Towards a Session Logic for Communication Protocols;2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS);2015-12
5. Automated verification of the FreeRTOS scheduler in Hip/Sleek;International Journal on Software Tools for Technology Transfer;2014-03-18