ERA-PAT

MaRDI QIDQ25174swMATHFDO

Official website https://sites.google.com/site/shangweilin/era-pat

Cited in

(3)

• Formal analysis of composable DeFi protocols
• Model checking approach to automated planning
• PAT

This page was built for software: ERA-PAT