--- layout: fc_discuss_archives title: Message 51 from Frama-C-discuss on May 2013 ---
A web interface for the structural test generation plugin of frama-c already exists: pathcrawler-online.com but unfortunately it is restricted to this plugin. Best regards Nicky Williams On 28/05/2013 15:22, Boris Hollas wrote: > 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 > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss >