InvA

MaRDI QIDQ22092swMATHFDO

Official website http://www.camilorocha.info/software/inva

Cited in

(4)

• Generalized rewrite theories, coherence completion, and symbolic methods
• CRC 3
• AADL
• Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool

This page was built for software: InvA