SeBip: A Symbolic Executor for BIP.

Qiang Wang, Simon Bliudze

Browse the full ICECCS paper archive.