BML is a tool to solve the coverability problem for lossy channel systems (LCSs).
You need:
Ocaml
z3
an SMT solver
BML
download the source
make main.native
ask thomas dot geffroy at labri dot fr if you have any problem