Difference between revisions of "CITADEL"
(No difference)
|
Revision as of 06:43, 14 December 2007
CITADEL (Contract-Inference Tool that Applies Daikon to the Eiffel Language) is a tool that provides an Eiffel front-end for the Daikon invariant detector. It is being implemented as a Master's project by Nadia Polikarpova supervised by Ilinca Ciupa.