Kaiwen Shi's Blog

123456graph LR; A(Incorrectness logic <br/> A novel concept) --> B(Incorrectness separation logic <br/> Incorrectness logic + Separation logic <br/> Tool: Pulse); B(Incorrectness separation logic <br/> Incorrectness logic + Separation logic <br/> Tool: Pulse) --> C(Concurrent Incorrectness separation logic <br/> Incorrectness separation logic + Concurrent separation logic); B(Incorrectness separation logic <br/> Incorrectness logic + Separation log ...

Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in troubleshooting or you can ask me on GitHub. Quick StartCreate a new post1$ hexo new "My New Post" More info: Writing Run server1$ hexo server More info: Server Generate static files1$ hexo generate More info: Generating Deploy to remote sites1$ hexo deploy More info: Deployment