Getting Started

In this chapter, we’ll walk you through setting up Verus and running it on a sample program. You can either:

If you don’t want to install Verus yet, but just want to experiment with it or follow along the tutorial, you can also run Verus through the Verus playground in your browser.