| Information | |
|---|---|
| has gloss | eng: UCLID (, the same as "Euclid") is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state systems. |
| lexicalization | eng: uclid |
| instance of | c/SMT solvers |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint