DOE OSTI · code-65640
MC3
Abstract
MC3 is a model checking solver that provides a more efficient tool for a widely studied class of problems currently solved by other open-source software tools. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525. SAND2021-4549 O
Keep this discovery
Explore connections, maps & timelines
Rawlings, Blake. 2021-03-02. MC3. https://doi.org/10.11578/dc.20211013.2
Cite the original work for its findings. Save a collection to share your selection of sources.