User Tools

  • Logged in as: anonymous (anonymous)
  • Logout

Site Tools


mantis:frama-c:external_plugins

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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)
djs52
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 =====
  
 +URL: https://​bitbucket.org/​adelard/​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.
mantis/frama-c/external_plugins.txt ยท Last modified: 2013/05/31 13:06 by djs52