Websites linking back to frama-c.com

Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.

"If the enemy leaves a door open, you must rush in." - Sun Tzu

As I said in the previous article, I have dedicated a lot of my spare time on learning Finnish. It is by far the most complex and weird language I …