VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.

Jan Smans Bart Jacobs Frank Piessens

Published in: FMOODS (2008)

Keyphrases

data driven
multi agent systems
semi automatic
labor intensive
hierarchical reinforcement learning
real world
machine learning
learning algorithm
artificial intelligence
computer vision
feature selection
fully automatic
concurrent programming
concurrent programs