Aspect-Oriented Programming Reloaded with AspectJML

SymDiff: Differential Program Verifier

Teaching Formal Methods Through Eclipse