--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on March 2015 ---
Hello, Le 10/03/2015 05:05, Wenrui Meng a ?crit : > I didn't find much related examples resource for beginner. Can any one > point out examples by WP plug? You should take a look at "ACSL by Example" from Fraunhofer FOKUS: https://www.google.fr/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&ved=0CC0QFjAB&url=https%3A%2F%2Fwww.fokus.fraunhofer.de%2Fdownload%2Facsl_by_example&ei=4J_-VPbCLcflUo-0gZAM&usg=AFQjCNHMBZrnDJrrTeo-_Dc9LNMKzLfyfg&bvm=bv.87611401,d.d24&cad=rja Best regards, david PS @Jens: finding the PDF file is always difficult. ;-) You should put it on a simple web page or attached to a blog entry.