Whiley: A Platform for Research in Software Verification.

David J. Pearce Lindsay Groves

Published in: SLE (2013)

Keyphrases

database
decision trees
multi agent systems
simulation environment
real time
multimedia
website
computational complexity
multiresolution
mobile applications
simulation platform
experimental platform