Hi all.
In general this should work. In fact, we are preparing a tutorial on this very topic right now. We will give the tutorial at the RV conference this year, and probably also at CCS.
Having said that, yes, there might still be bugs in the implementation. If you find any, please report them using our bug tracker. Thanks!
Cheers,
Eric
--
Prof. Eric Bodden, Ph.D.,
http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel:
+49 6151 16-75422 Fax:
+49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt