DOE OSTI · code-61905
EUForia
Abstract
EUForia is a general-purpose model checker that solves reachability problems in dynamical systems. It implements an abstraction-refinement process in which the system is iteratively approximated until it can prove or disprove that a system state is reachable. 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-3020 O
Keep this discovery
Explore connections, maps & timelines
Bueno, Denis. 2021-03-09. EUForia. https://doi.org/10.11578/dc.20210809.1
Cite the original work for its findings. Save a collection to share your selection of sources.