--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on December 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] \at in ACSL assertions



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