This example shows how a binary tree with internal <code>Node</code> and <code>Leaf</code>s can be specified if access is by means of casting rather than through a visitor pattern.
|Path to example file||type-casts/CastExample.java|
|Lines of code||62 lines (comments not included)|
|Lines of specification||25 lines (40.32% of the total)|
|Computation time||24206 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.