--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on May 2013 ---
Hello, the site http://rise4fun.com/ allows to use a number of verification tools without the need to install any software. I use this in class because it is very convenient. As Frama-C isn't always easy to install, a web interface would be very useful. Do you think that this could be done? Best regards, Boris