Author:Karem A. Sakallah
Keyphrasesdistributed protocols, Expedite the Canonical Labeling Search, Graph Canonical Labeling, Graph Symmetry Detection, IC3, incremental induction, inductive invariant, parameterized systems, Paxos, PDR, TLA+. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |