Referenced Items are not available for this document.
TSMV is an extension of NuSMV, the open-source symbolic model checker, aimed at dealing with timed versions of (models of) circuits, PLC controllers, protocols, etc. The underlying model is an extension of Kripke structures, where every transition carries an integer duration (possibly zero). This simple model supports efficient symbolic algorithms for RTCTL formulae.
Published in:
Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the
Date of Conference: 27-30 Sept. 2004
- Page(s):
- 330 - 331
- Print ISBN:
- 0-7695-2185-1
- INSPEC Accession Number:
- 8347227
- Digital Object Identifier :
- 10.1109/QEST.2004.1348052
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
