ATAME

MaRDI QIDQ37533swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-96418-8_1

Cited in

(12)

• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Mathematical software -- ICMS 2018. 6th international conference, South Bend, IN, USA, July 24--27, 2018. Proceedings
• Inferring safe Maude programs with ÁTAME
• iJulienne
• Orbiter
• 3BA
• IntegerSequences
• Axl
• libtropicon
• Francy
• Polytop
• ABETS

This page was built for software: ATAME