Changes between Version 50 and Version 51 of WikiStart
- Jul 23, 2013, 10:15:09 AM (4 years ago)
v50 v51 11 11 Try out !CerCo's Live CD: [http://cerco.cs.unibo.it/livecd/binary.hybrid.iso] 12 12 You can boot your machine with the Live CD or you can emulate it using a virtual machine 13 (virtualbox rec commended). Once logged in, you can try the Frama-C Cost Annotating Compiler 13 (virtualbox recommended). Once logged in, you can try the Frama-C Cost Annotating Compiler 14 14 by running "cerco -ide filename.c" or you can browse the certification of the !CerCo compiler 15 15 by running "matita" and exploring the source code in the cerco/src directory.