Rtac

MaRDI QIDQ25041swMATHFDO

Official website https://gmalecha.github.io/assets/publications/rtac-coqpl15.pdf

Cited in

(5)

• ModuRes: a Coq library for modular reasoning about concurrent higher-order imperative programming languages
• A grid-based algorithm for constructing attainability sets with improved boundary approximation
• Mechanized Semantic Library
• VeriML
• Mtac: a monad for typed tactic programming in Coq

This page was built for software: Rtac