ITP/OCL

MaRDI QIDQ15266swMATHFDO

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

Cited in

(17)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• HOL-OCL
• MMT
• CRC 3
• K tool
• ATL
• Dist-Orc
• MOMENT2
• VIDEAS
• UML2Alloy
• FORMULA 2.0
• vlogsl
• 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