crack (cargo): verify distributed and lock-free algorithms through symbolic execution
Keywords: testing|consensus|distributed-systems|symbolic-execution|formal-methods|gossip|services