Dove

Ebor has supported the development of the DOVE (Design Oriented Verification and Evaluation) tool. DOVE allows the user to carry out the modelling, animation and verification of state-machine designs.

Links

DSTO DOVE

top