×

Found 9 Documents (Results 1–9)

Saturation-based incremental LTL model checking with inductive proofs. (English) Zbl 1420.68135

Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 643-657 (2015).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

On the costs and benefits of using partial-order methods for the verification of concurrent systems. (Invited paper). (English) Zbl 0883.68057

Peled, Doron A. (ed.) et al., Partial order methods in verification. DIMACS workshop, July 24-26, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 289-303 (1997).
MSC:  68Q05 68Q60 03B70
PDFBibTeX XMLCite

A stubborn attack on state explosion. (English) Zbl 0786.68069

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 25-41 (1991).
MSC:  68Q60 68Q10 03B45
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software