Unspecified C Behaviours
Supervisor
Suitable for
Abstract
Build instrumentation to check for unspecified behaviours in C, as per Section J.2 (and maybe also J.3) of the C standard. Talk to Michael Tautschnig or Martin Brain for this item.You can point to http://www.cprover.org/wiki/starter_projects for further information.