Prover Studio now supports HLL
Prover Studio 2 with HLL support has been released! Prover Studio was launched (https://www.prover.com/product-news/introducing-prover-studio/) as an integrated development environment for Prover Trident. Prover Studio now joins our family of tools that support HLL. With the new version, you will be able to read, write, and navigate HLL and sHLL models and safety properties. Prover [...]