Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution).

Henrich Lauko, Vladimr Still, Petr Rockai, Jiri Barnat

Browse the full TACAS paper archive.