UM
Modelling and verification of a network player system with DCValid
Wang J.1; Xu Q.1; Ma H.2
2000
Source PublicationProceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
Pages44-49
AbstractIn this paper we study the formal modelling and verification of a network player system using Duration Calculus, a real time interval temporal logic. The system is modelled by the conjunction of a number of Duration Calculus formulae each capturing a basic property of the system. That the system satisfies the requirement is expressed by the entailment of the requirement formula from the system formula. We use an automated tool DCValid for verification. DCValid is a model checking tool and it cannot verify our system in the general form, and therefore a special instance is derived from the general model and subsequently checked using DCValid.
KeywordMultimedia Systems Real-Time Specification and Verification Temporal Logic
DOI10.1109/APAQ.2000.883777
URLView the original
Language英語
Fulltext Access
Citation statistics
Cited Times [WOS]:2   [WOS Record]     [Related Records in WOS]
Document TypeConference paper
CollectionUniversity of Macau
Affiliation1.United Nations University International Institute for Software Technology
2.Beijing University of Posts and Telecommunications
Recommended Citation
GB/T 7714
Wang J.,Xu Q.,Ma H.. Modelling and verification of a network player system with DCValid[C],2000:44-49.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Wang J.]'s Articles
[Xu Q.]'s Articles
[Ma H.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Wang J.]'s Articles
[Xu Q.]'s Articles
[Ma H.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Wang J.]'s Articles
[Xu Q.]'s Articles
[Ma H.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.