Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)

Formal Specification of Trusted Execution Environment APIs

Formal Analysis of TEE Applications using TEE Formal Spec.

An SMT extension of Maude

Language based on Rewriting Logic

There is a new version of dReal, available at https://github.com/dreal/dreal4