On the Iris side, I am continuing development of its logical foundations.
We are making Iris fit for specifying and verifying programming languages at scale using a more modular approach.
The long-term goal is for Iris to be able to handle the full scale of complexities that arise when doing foundational verification of real languages.<br>
On the Iris side, I am continuing development of its logical foundations.
We are making Iris fit for specifying and verifying programming languages at scale using a more modular approach.
The long-term goal is for Iris to be able to handle the full scale of complexities that arise when doing foundational verification of real languages.<br>