Cited By
View all- Hantry FHacid M(2011)Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based LanguagesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.68.568(39-53)Online publication date: 12-Sep-2011
- Agbaria SCarmi DCohen OKorchemny DLifshits MNadel ABloem RSharygina N(2010)SAT-based semiformal verification of hardwareProceedings of the 2010 Conference on Formal Methods in Computer-Aided Design10.5555/1998496.1998505(25-32)Online publication date: 20-Oct-2010
- Haubelt CTeich JHaubelt CTeich J(2010)Hardware-VerifikationDigitale Hardware/Software-Systeme10.1007/978-3-642-05356-6_6(235-359)Online publication date: 20-May-2010
- Show More Cited By