1. 0-In Inc., http://www.0-in.com.
2. Distributed reachability analysis for protocol verification environments;Aggarwal,1987
3. Distributed ltl model checking in spin;Barnat,2001
4. Distributed ltl model checking based on negative cycle detection;Brim,2001
5. Shared memory consistency protocol verification against weak memory models: Refinement via model checking;Chatterjee,2002