v2c

MaRDI QIDQ46449swMATHFDO

Official website http://www.cprover.org/hardware/v2c/

Cited in

(5)

• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• PLuTo
• PIPS
• Flamel
• SamaTulyata

This page was built for software: v2c