SourceForge.net Logo

Homepage of AlphaLabs Software Inc.


Short Description: Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

Files will be released when time permits. Meanwhile, you can download some papers of mine which serve as an introduction to our mathematical foundations...

Here are some interesting links: