This shows you the differences between two versions of the page.
mantis:frama-c:external_plugins [2013/05/26 13:24]
yakobowski Updated URL for Celia
mantis:frama-c:external_plugins [2013/05/31 13:06] (current)
|Line 43:||Line 43:|
|It provides a grammar extension of specification allowing to specify the target tactic.||It provides a grammar extension of specification allowing to specify the target tactic.|
|+||===== Simple Concurrency =====|
|+||This plugin, developed by [[http://www.adelard.com|Adelard]], provides a simple way to discover potential concurrency problems in interrupt-driven C code, and is intended for use with small embedded systems. It operates without using the value analysis plugin, which makes it fast but unable to analyse pointers. Command-line and GUI versions are available.|