MoSeL

MaRDI QIDQ5974297swMATHFDO

Official website https://iris-project.org/mosel/

Source code repository https://gitlab.mpi-sws.org/iris/iris

Cited in

(13)

• Iris from the ground up: a modular foundation for higher-order concurrent separation logic
• cminor
• ModuRes
• Mezzo
• Caper
• Pilsner
• GRASShopper
• Bedrock
• Jape
• FreeSpec
• CHAD
• ad
• RustBelt

This page was built for software: MoSeL