Chechik, Marsha; Gurfinkel, Arie; Devereux, Benet; Lai, Albert; Easterbrook, Steve Data structures for symbolic multi-valued model-checking. (English) Zbl 1109.68063 Form. Methods Syst. Des. 29, No. 3, 295-344 (2006). MSC: 68Q60 68P05 68T27 03B50 PDFBibTeX XMLCite \textit{M. Chechik} et al., Form. Methods Syst. Des. 29, No. 3, 295--344 (2006; Zbl 1109.68063) Full Text: DOI
Chechik, Marsha; Devereux, Benet; Easterbrook, Steve; Lai, Albert Y. C.; Petrovykh, Victor Efficient multiple-valued model-checking using lattice representations. (English) Zbl 1006.68085 Larsen, Kim G. (ed.) et al., CONCUR 2001 - Concurrency theory. 12th international conference, Aalborg, Denmark, August 20-25, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2154, 441-455 (2001). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{M. Chechik} et al., Lect. Notes Comput. Sci. 2154, 441--455 (2001; Zbl 1006.68085) Full Text: Link
Chechik, Marsha; Devereux, Benet; Easterbrook, Steve Implementing a multi-valued symbolic model checker. (English) Zbl 0978.68542 Margaria, Tiziana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2031, 404-419 (2001). MSC: 68Q60 03B44 03B50 03B70 PDFBibTeX XMLCite \textit{M. Chechik} et al., Lect. Notes Comput. Sci. 2031, 404--419 (2001; Zbl 0978.68542) Full Text: Link
Chechik, Marsha; Easterbrook, Steve; Petrovykh, Victor Model-checking over multi-valued logics. (English) Zbl 0977.68704 Oliveira, José Nuno (ed.) et al., FME 2001: Formal methods for increasing software productivity. International symposium of formal methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2021, 72-98 (2001). MSC: 68U99 68Q65 03B50 PDFBibTeX XMLCite \textit{M. Chechik} et al., Lect. Notes Comput. Sci. 2021, 72--98 (2001; Zbl 0977.68704) Full Text: Link