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

Yun-Rong Luo, Aman Goel, Karem A. Sakallah

Browse the full ISoLA paper archive.