Author:
Bae Kyungmin,Rocha Camilo
Funder
National Research Foundation of Korea
POSTECH
CAPES, Colciencias, and INRIA
Capital Semilla 2017
Reference29 articles.
1. Conditional rewriting logic as a unified model of concurrency;Meseguer;Theor. Comput. Sci.,1992
2. Rewriting modulo SMT and open system analysis;Rocha;J. Log. Algebraic Methods Program.,2017
3. A survey of symbolic execution techniques;Baldoni;ACM Comput. Surv.,2018
4. Symbolic Reachability Analysis for Rewrite Theories;Rocha,2012
5. Rewriting logic semantics of a plan execution language;Dowek;Electron. Proc. Theor. Comput. Sci.,2010
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献