Applications

Below is a list of applications developed by me or developed with other people.

• JCBR: a Chinese eBook reader made specially for PDB eBooks created by mPDB.
• THOR: a tool for heap-oriented reasoning. The tool can perform a shape analysis and extract an abstraction of arithmetic properties for further safety or termination verification by external arithmetic model checkers or provers.
• GOAL: a graphical tool for manipulating games, omega automata, and temporal logic.
• doctor: an automatic doctor scheduler, written for fun.
• OMocha: a model checking tool developed mainly by Dr. Bow-Yaw Wang.
• MediaWiki Markup for WordPress: a plugin for WordPress that allows MediaWiki markups.  Unfortunately, I don't use WordPress anymore.