×

Found 3 Documents (Results 1–3)

Runtime verification of component-based systems. (English) Zbl 1350.68060

Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 204-220 (2011).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Compositional verification for component-based systems and application. (English) Zbl 1183.68364

Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 64-79 (2008).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Networks of processes with parameterized state space. (English) Zbl 1262.68103

Mayr, Richard (ed.), VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 4, 386-400 (2001).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software