Is there a tool like FRAMA_C for Fortran?

[certik]

@Arjen

Brad (@everythingfunctional) and I are working on an article about it. Unit checking is definitely A Good Thing but it is Not Simple, unfortunately.

I am interested in prototyping this feature in LFortran. Let me know if you want to collaborate.