ABETS

MaRDI QIDQ43696swMATHFDO

Official website https://arxiv.org/abs/1608.01433

Described by source

• Assertion-based analysis via slicing withABETS(system description)

Cited in

(7)

• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• iJulienne
• ATAME
• GLINTS
• Mau-Dev
• Symbolic analysis of Maude theories with Narval
• SEViz

This page was built for software: ABETS