ExplainHoudini

swMATH19491MaRDI QIDQ31318FDOQ31318

Author name not available (Why is that?)

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