Next: IsaWin
Up: User Interfaces to Proof
Previous: XIsabelle
Contents
DOVE [42] is a specialised design tool for
modelling state machines, built on top of XIsabelle.
As such it is not useful for general proofs.
It is segregated
into three modes of operation: design, animation and proof. The proof
mode appears similar in complexity to use of XIsabelle
itself.
2003-11-08
