The VM is called snarkVM. SnarkOS is just a client utility to interact with the VM and the nodes.