Software Productivity Tools built from my research

JSlice Dynamic Slicing for Java Program Debugging and Comprehension (2-page summary) Received Tan Kah Kee Young Inventor's Award (Silver) 2008, Users in over 100 organizations, used for teaching, research and development.
 

Chronos Worst-case Execution Time (WCET) Analysis for C programs, Users in over 50 organizations (universities & companies), Successful participant in first WCET Tool Challenge in 2006.

 

SPIN++ An extension to the SPIN model checker for formally verifying parameterized systems (contact us for downloading it).

 

Symbolic Simulator for Live Sequence Charts (LSCs)

 

Memory Model Sensitive Assertion Checker for C# Programs

Last updated 21 June 2008.