Symbolic Model Checking in External Memory

Steffan Christ Sølvsten, Jaco van de Pol

We extend the external memory BDD package Adiar with support for monotone variable substitution. Doing so, it now supports the relational product operation at the heart of symbolic…