Rtac

swMATH13124MaRDI QIDQ25041FDOQ25041

Author name not available (Why is that?)

Cited In (3)

• A grid-based algorithm for constructing attainability sets with improved boundary approximation
• 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