Kupferman, Orna; Vardi, Gal On relative and probabilistic finite counterability. (English) Zbl 1390.68433 Form. Methods Syst. Des. 52, No. 2, 117-146 (2018). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{G. Vardi}, Form. Methods Syst. Des. 52, No. 2, 117--146 (2018; Zbl 1390.68433) Full Text: DOI Link
Avni, Guy; Kupferman, Orna An abstraction-refinement framework for trigger querying. (English) Zbl 1291.68242 Form. Methods Syst. Des. 44, No. 2, 149-175 (2014). MSC: 68Q60 68Q45 03B44 PDFBibTeX XMLCite \textit{G. Avni} and \textit{O. Kupferman}, Form. Methods Syst. Des. 44, No. 2, 149--175 (2014; Zbl 1291.68242) Full Text: DOI
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. From liveness to promptness. (English) Zbl 1192.68416 Form. Methods Syst. Des. 34, No. 2, 83-103 (2009). MSC: 68Q45 03B44 68T27 PDFBibTeX XMLCite \textit{O. Kupferman} et al., Form. Methods Syst. Des. 34, No. 2, 83--103 (2009; Zbl 1192.68416) Full Text: DOI
Chockler, Hana; Kupferman, Orna; Vardi, Moshe Y. Coverage metrics for temporal logic model checking. (English) Zbl 1105.68075 Form. Methods Syst. Des. 28, No. 3, 189-212 (2006). MSC: 68Q65 PDFBibTeX XMLCite \textit{H. Chockler} et al., Form. Methods Syst. Des. 28, No. 3, 189--212 (2006; Zbl 1105.68075) Full Text: DOI Link
Henzinger, Thomas A.; Kupferman, Orna; Qadeer, Shaz From pre-historic to post-modern symbolic model checking. (English) Zbl 1074.68036 Form. Methods Syst. Des. 23, No. 3, 303-327 (2003). MSC: 68Q60 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Form. Methods Syst. Des. 23, No. 3, 303--327 (2003; Zbl 1074.68036) Full Text: DOI
Kupferman, Orna; Vardi, Moshe Y. Model checking of safety properties. (English) Zbl 0995.68061 Form. Methods Syst. Des. 19, No. 3, 291-314 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{M. Y. Vardi}, Form. Methods Syst. Des. 19, No. 3, 291--314 (2001; Zbl 0995.68061) Full Text: DOI