\contentsline {table}{\numberline {10.1}{\ignorespaces The experimental results of verifying CIVL's implementations of the MPI collective functions with respect to state-requirements and -guarantees.\relax }}{183}{table.caption.58}
\contentsline {table}{\numberline {10.2}{\ignorespaces The experimental results of verifying MPI collective-style functions with respect to state-requirements and -guarantees. The experiments are under an assumption that no interference can happen.\relax }}{184}{table.caption.59}
\contentsline {table}{\numberline {10.3}{\ignorespaces The experimental results of verifying full validity of MPI collective-style functions.\relax }}{185}{table.caption.60}