ITP/OCL

MaRDI QIDQ15266swMATHFDO

Official website http://maude.sip.ucm.es/itp/ocl/

Cited in

(17)

• HOL-OCL
• Twenty years of rewriting logic
• MMT
• K tool
• VIDEAS
• CRC 3
• UML2Alloy
• MOMENT2
• Dist-Orc
• ATL
• vlogsl
• FORMULA 2.0
• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• Java+ITP
• Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool
• PTL: a model transformation language based on logic programming

This page was built for software: ITP/OCL