Skip to content
Petra Docs

Petra Standard Documentation

Congrats on starting your software formal verification journey with Petra!
Petra Introduction Set Theory for Petra

Next steps

Section titled “Next steps”