no code implementations • 19 Aug 2023 • Prasita Mukherjee, Haoteng Yin
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification.
no code implementations • 24 Jul 2022 • Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification.