Spin is a general tool for the logical verification of concurrent software in a rigorous and mostly automated fashion.
確定! 回上一頁