--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on December 2010 ---
Hello Pascal im working with abstract interpretation and weakest precondition analysis, I saw your email info on the mailing list of frama-c and I would like to ask you if maybe you know if C constructs as loops and "ifs" structures can be splited to generate this anlysis, any reference will be helpfull, best regards. -- Jorge Luis Honorat Mail : jorge.honoratpoblette at enseeiht.fr IRIT - ENSEEIHT DSI INP Toulouse bureau E118 2 rue Charles Camichel - 31071 TOULOUSE Cedex 7