CITADEL

From EiffelStudio: an EiffelSoftware project
Revision as of 14:43, 14 December 2007 by Ilinca (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


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.

Retrieved from "https://dev.eiffel.com/index.php?title=CITADEL&oldid=10110"