×

Found 3 Documents (Results 1–3)

Assertion-based proof checking of Chang-Roberts leader election in PVS. (English) Zbl 1141.68487

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 347-361 (2007).
MSC:  68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Realizability criteria for compositional MSC. (English) Zbl 1236.68049

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 248-262 (2006).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Non-local choice and beyond: intricacies of MSC choice nodes. (English) Zbl 1236.68185

Cerioli, Maura (ed.), Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25420-X/pbk). Lecture Notes in Computer Science 3442, 273-288 (2005).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Software