--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on May 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C web interface?



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