Author:
Seufert Tobias,Scholl Christoph,Chandrasekharan Arun,Reimer Sven,Welp Tobias
Publisher
Springer International Publishing
Reference42 articles.
1. Baumgartner, J., Ivrii, A., Matsliah, A., Mony, H.: IC3-guided abstraction. In: FMCAD, pp. 182–185 (2012). https://ieeexplore.ieee.org/document/6462571/
2. Berryhill, R., Ivrii, A., Veira, N., Veneris, A.G.: Learning support sets in IC3 and quip: the good, the bad, and the ugly. In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, 2–6 October 2017, pp. 140–147. IEEE (2017). https://doi.org/10.23919/FMCAD.2017.8102252
3. Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: TACAS, pp. 193–207 (1999). https://doi.org/10.1007/3-540-49059-0_14
4. Biere, A., van Dijk, T., Heljanko, K.: Hardware model checking competition (2017). http://fmv.jku.at/hwmcc17/
5. Biere, A., Heljanko, K., Wieringa, S.: Aiger 1.9 and beyond (2011). http://fmv.jku.at/hwmcc11/beyond1.pdf
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献