From Model Checking to Runtime Verification and Back. https://t.co/KgOv144auG
1,419 followers
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
1,419 followers
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. https://t.co/TldNCJXV1v
642 followers
#arXiv #cs_LO "HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. (arXiv:1712.00570v1 [cs.LO])" https://t.co/cCFZ8JSasz