TOrPEDO

MaRDI QIDQ1354346swMATHFDO

Official website https://orbilu.uni.lu/bitstream/10993/47825/1/TOrPEDO.pdf

Source code repository https://github.com/alessandrorizzi/torpedo

Described by source

• TOrPEDO : witnessing model correctness with topological proofs

Cited in

(1)

• LTSA-WS

This page was built for software: TOrPEDO