Zaslat SMS: Formal Verification of Arbitrary Network Topologies