Parallel Model Checking and the FMICS-jETI Platform

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Jirí Barnat Articles by Lubos Brim Articles by Martin Leucker

12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)

Auckland, New Zealand

July 11-July 14

ISBN: 0-7695-2895-3

	ASCII Text	x
	Jirí Barnat, Lubos Brim, Martin Leucker, "Parallel Model Checking and the FMICS-jETI Platform," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 330-339, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007.

	BibTex	x
	@article{ 10.1109/ICECCS.2007.34, author = {Jirí Barnat and Lubos Brim and Martin Leucker}, title = {Parallel Model Checking and the FMICS-jETI Platform}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2895-3}, pages = {330-339}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.34}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - Parallel Model Checking and the FMICS-jETI Platform SN - 0-7695-2895-3 SP330 EP339 A1 - Jirí Barnat, A1 - Lubos Brim, A1 - Martin Leucker, PY - 2007 KW - null VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER -

Jirí Barnat, Masaryk University, Czech Republic

Lubos Brim, Masaryk University, Czech Republic

Martin Leucker, Technische Universitat Munchen, Germany

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.34

In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the \mu- calculus which naturally subsumes the branching time logic CTL (computation tree logic). We also indicate how to provide parallel model checking applications as services for integrated modelling, analysis, and verification using the FMICS-jETI platform.

Citation:

Jirí Barnat, Lubos Brim, Martin Leucker, "Parallel Model Checking and the FMICS-jETI Platform," iceccs, pp.330-339, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.