overturetool/prob-interpreter-integration

Overture feature that enables implicit function/operation bodies to be interpreted using the ProB model checker

Java