AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks.

Eric Madelaine, Didier Vergamini

Browse the full FORTE paper archive.