ModuRes

swMATH13122MaRDI QIDQ25039FDOQ25039

Author name not available (Why is that?)

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
• MoSeL
• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
• Mechanized Semantic Library
• Rtac
• Verilog
• UTPCalc
• Lewis meets Brouwer: constructive strict implication

This page was built for software: ModuRes