Difference between revisions of "Xiaohong Chen"
From FSL
Line 6: | Line 6: | ||
** Matching Logic | ** Matching Logic | ||
* Automated Programs Verification Methods | * Automated Programs Verification Methods | ||
− | ** Bounded Model Checking with [www.kframework.org | + | ** Bounded Model Checking with <span class="plainlinks">[http://www.kframework.org <math>\mathbb{K}</math>]</span> |
Revision as of 21:10, 19 September 2016
Research Interests and Ongoing Research Projects |
---|