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:11, 19 September 2016
| Research Interests and Ongoing Research Projects |
|---|
- Formal Semantics of Programming Languages
- Separation Logic
- Matching Logic
- Automated Programs Verification Methods
- Bounded Model Checking with
- Bounded Model Checking with
