Difference between revisions of "Xiaohong Chen"

From FSL
Jump to: navigation, search
Line 6: Line 6:
 
** Matching Logic
 
** Matching Logic
 
* Automated Programs Verification Methods
 
* Automated Programs Verification Methods
** Bounded Model Checking with [[www.kframework.org|<math>\mathbb{K}</math>]]
+
** Bounded Model Checking with [www.kframework.org|<math>\mathbb{K}</math>]

Revision as of 21:08, 19 September 2016

Xiaohong Chen

Research Interests and Ongoing Research Projects
  • Formal Semantics of Programming Languages
    • Separation Logic
    • Matching Logic
  • Automated Programs Verification Methods
    • Bounded Model Checking with [www.kframework.org|\mathbb{K}]
Personal tools
Namespaces

Variants
Actions
Navigation