SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols.

Katalin Fazekas, Aman Goel, Karem A. Sakallah

Browse the full FMCAD paper archive.