Black, P.
, Ammann, P.
and Ding, W.
(2002),
Model checkers in software testing:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.6777
(Accessed August 31, 2024)