ExplainHoudini

MaRDI QIDQ31318swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-18275-4_22

Cited in

(2)

• Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings
• ExplainHoudini: making Houdini inference transparent

This page was built for software: ExplainHoudini