--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on December 2012 ---
Hello, 2012/12/18 Alexey Khoroshilov <khoroshilov at ispras.ru>: > We use old chain: > - Nitrogen + Jessie + Why 2 + PVS 5 [...] > Linux Verification Center, ISPRAS Out of curiosity, what are you using Frama-C for? Sincerely yours, D. Mentr?