×

Found 4 Documents (Results 1–4)

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
Full Text: Link

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).
PDFBibTeX XMLCite
Full Text: Link

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
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field

Software