Welcome!
Hello and welcome to 'Home', my personal homepage. This homepage was built up from a template designed by Six Shooter Media. Let me give many thanks to them who have allowed me to use this template freely. Hopefully you may find out something interesting here. Have a nice day !
27th October 2008 - LTL2JPF Translator. Long time not update my homepage, today I want to tell you one of my latest works in
NUS, LTL2JPF Translator software. This software makes it possible to verify a Java program property
based on its LTL specification. LTL2JPF Translator is built on top of Java Pathfinder Framework.
It translates a LTL specification into a model checker that can be run within Java Pathfinder .
The full report and the software should be updated soon. However, if you happen to reach this homepage, and have
the desire of verifying any of your software, feel free to contact me. That will also benefit me a lot, because I
believe that a model checker could not be proved to be usefull until it is used to detects fatal defects for large software specification
in practice.
1st July 2008 - Google Advertisement. You may notice the advertisement in the righ panel of my homepage.
I have just add Google Advertisement, in the purpose of increase page rank in search engines.
Interestingly with all these effort, my page rank grew significantly. Now this homepage can be reached by various keywords related to
my name, Nguyen Anh Cuong or Anh Cuong both from US and Singapore.
1st December 2007 - Expanding List Added. On the effort of saving space for my homepage when the amount
of information is increasing, I have added the expanding list for both studying and resources tab (unfortunately
the products page is not long enough for me to dare doing this :-P). You can try it now, go to the studying or
resources tab and click the header to see the homepage resize it self.