A New Approach to the Specification and Verification of Real-Time Systems

E
ECRTS
2001
13th Euromicro Conference on Real-Time Systems (ECRTS'01)
Abstract - A New Approach to the Specification and Verification of Real-Time Systems

	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
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by G. Logothetis Articles by K. Schneider

13th Euromicro Conference on Real-Time Systems (ECRTS'01)

Delft, The Netherlands

June 13-June 15

ISBN: 0-7695-1221-6

	ASCII Text	x
	G. Logothetis, K. Schneider, "A New Approach to the Specification and Verification of Real-Time Systems," Real-Time Systems, Euromicro Conference on, pp. 0171, 13th Euromicro Conference on Real-Time Systems (ECRTS'01), 2001.

	BibTex	x
	@article{ 10.1109/EMRTS.2001.934025, author = {G. Logothetis and K. Schneider}, title = {A New Approach to the Specification and Verification of Real-Time Systems}, journal ={Real-Time Systems, Euromicro Conference on}, volume = {0}, year = {2001}, isbn = {0-7695-1221-6}, pages = {0171}, doi = {http://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.934025}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Real-Time Systems, Euromicro Conference on TI - A New Approach to the Specification and Verification of Real-Time Systems SN - 0-7695-1221-6 SP EP A1 - G. Logothetis, A1 - K. Schneider, PY - 2001 VL - 0 JA - Real-Time Systems, Euromicro Conference on ER -

G. Logothetis, University of Karlsruhe

K. Schneider, University of Karlsruhe

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.934025

Abstract: We present a new temporal logic for the specification and verification of real-time systems. This logic is defined on discrete time transition systems which are interpreted in an abstract manner instead of the usual stuttering interpretation. Our approach directly allows the abstraction of real-time systems by ignoring irrelevant qualitative properties, but without loosing any quantitative information.

Citation:

G. Logothetis, K. Schneider, "A New Approach to the Specification and Verification of Real-Time Systems," ecrts, pp.0171, 13th Euromicro Conference on Real-Time Systems (ECRTS'01), 2001

Peer Review Notice | Give Us Feedback

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