TOrPEDO

swMATH40950MaRDI QIDQ1354346FDOQ1354346

Author name not available (Why is that?)

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