Recently, I gave a demo of Whiley at Oracle Labs in Brisbane which they have kindly put up on YouTube:
The actual demo itself starts around 11:30s, so you might want to skip on to that.
The talk was part of a series of talks I did at various locations across . . . → Read More: Whiley Demo @ Oracle Labs!!