[eclipse-clp-users] Path Traversal Conditions Solver

From: Christophe Meudec <echancrure_at_...6...>
Date: Wed, 12 Jun 2013 17:03:15 +0100
Hello all,
I have released my Path Traversal Conditions solver as open source for
those of you interested in imperative programs analysis, symbolic execution

You can find more details at:


Always been a great fan of ECLiPSe long may it lives!

best regards
Received on Wed Jun 12 2013 - 16:03:21 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST