×

Found 24 Documents (Results 1–24)

Bounded model checking of traffic light control system. (English) Zbl 1351.68169

Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 63-74, electronic only (2014).
MSC:  68Q60 03B44 90B20
PDFBibTeX XMLCite
Full Text: DOI

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 HAL

Compositional failure-based equivalence of constraint automata. (English) Zbl 1339.68187

Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 105-122 (2009).
MSC:  68Q85 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Compositional model checking of product-form CTMCs. (English) Zbl 1339.68163

Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 21-37 (2009).
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 Link

Formal verification of concurrent systems via directed model checking. (English) Zbl 1335.68139

Merz, Stephan (ed.) et al., Proceedings of the 6th international workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, September 18–19, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 185, 93-105 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Grey-box checking. (English) Zbl 1225.68113

Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 420-435 (2006).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Automatic synthesis of assumptions for compositional model checking. (English) Zbl 1225.68115

Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 143-158 (2006).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Testing systems of concurrent black-boxes – an automata-theoretic and decompositional approach. (English) Zbl 1183.68184

Grieskamp, Wolfgang (ed.) et al., Formal approaches to software testing. 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34454-3/pbk). Lecture Notes in Computer Science 3997, 170-186 (2006).
MSC:  68N30 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

A logical process calculus. (English) Zbl 1270.68210

Nestmann, Uwe (ed.) et al., EXPRESS’02. Papers from the 9th international workshop on expressiveness in concurrency, Brno, Czech Republic, August 19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 2, 33-50 (2002).
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about programs by exploiting the environment. (English) Zbl 1418.68054

Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 328-339 (1994).
MSC:  68N30 03B44 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software