ABETS

swMATH31985MaRDI QIDQ43696FDOQ43696

Author name not available (Why is that?)

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
• Mau-Dev
• Symbolic analysis of Maude theories with Narval
• iJulienne
• ATAME
• GLINTS
• SEViz

This page was built for software: ABETS