KindSpec

swMATH21609MaRDI QIDQ33414FDOQ33414

Author name not available (Why is that?)

Official website: http://safe-tools.dsic.upv.es/kindspec2/

Described by source

• Symbolic abstract contract synthesis in a rewriting framework

Cited In (2)

• Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework
• KERNELC

This page was built for software: KindSpec