We found the following 3 published projects which all share the keyword ram amongst their description of software or software methods used.

Title
Formal Verification and Synthesis of Stochastic Systems
They've Got Your Eyes
Verification of Autonomous Systems with Communication Imperfections