ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems.

Djihed Afifi, David E. Rydeheard, Howard Barringer

Browse the full RV paper archive.