The following publications are possibly variants of this publication:
- Vacuity in synthesisRoderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman. fmsd, 57(3):473-495, 2021. [doi]
- Vacuity in TestingThomas Ball, Orna Kupferman. tapsoft 2008: 4-17 [doi]
- Regular VacuityDoron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi. charme 2005: 191-206 [doi]
- Before and after vacuityHana Chockler, Ofer Strichman. fmsd, 34(1):37-58, 2009. [doi]
- Inherent Vacuity in Lattice AutomataHila Gonen, Orna Kupferman. BIRTHDAY 2015: 174-192 [doi]
- A Framework for Ranking Vacuity ResultsShoham Ben-David, Orna Kupferman. ATVA 2013: 148-162 [doi]
- A Framework for Inherent VacuityDana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi. hvc 2009: 7-22 [doi]