InvA

swMATH10124MaRDI QIDQ22092FDOQ22092

Author name not available (Why is that?)

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