ModuRes

MaRDI QIDQ25039swMATHFDO

Official website http://users-cs.au.dk/birke/modures/tutorial/

Described by source

• ModuRes: a Coq library for modular reasoning about concurrent higher-order imperative programming languages

Cited in

(8)

• The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
• Lewis meets Brouwer: constructive strict implication
• MoSeL
• Mechanized Semantic Library
• Rtac
• Verilog
• UTPCalc
• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP

This page was built for software: ModuRes