Rtac

swMATH13124MaRDI QIDQ25041FDOQ25041

Author name not available (Why is that?)

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

Cited In (5)

• 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
• ModuRes: a Coq library for modular reasoning about concurrent higher-order imperative programming languages

This page was built for software: Rtac