213 followers
Frama-C is not only about static analysis! K. Vorobyov, N. Kosmatov, J. Signoles, and A. Jakobsson used the E-ACSL plug-in for “Runtime Detection of Temporal Memory Errors” in their paper https://t.co/9dZb2ghInP at @RV_2017 #runtime #safety. PDF: https://t