KindSpec

MaRDI QIDQ33414swMATHFDO

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