Formal verification framework for safety of real-time system based on timed automata model in PVS

Proceedings of the IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS

Volumn 2006, Issue , 2006, Pages 107-112

  Xu, Qingguo ^a   Miao, Huaikou ^a  

^a SHANGHAI UNIVERSITY   (China)

Author keywords

Formal verification; PVS; Real time system; Specification; Timed automata

Indexed keywords

AUTOMATA THEORY; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SECURITY SYSTEMS; SOFTWARE PROTOTYPING; SPECIFICATIONS;

BOUNDED RESPONSE PROPERTY; FORMAL VERIFICATIONS; PROTOTYPE VERIFICATION SYSTEM (PVS); TIMED AUTOMATA;

VERIFICATION;

EID: 34047092329     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. M. Archer and C. Heitmeyer. TAME: A specialized specification and verification system for timed automata. 1996 IEEE Real-Time Systems Symp., Washington, D.C., 1996, 3-6.
2. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science 126:183-235, 1994.
3. Owre S, Shankar N, Rushby J, Stringer-Calvert D. PVS system guide version 2.4.: Computer Science Laboratory, SRI International, 2001, 1-97.
4. Owre S, Shankar N, Rushby J, Stringer-Calvert D. PVS language reference version 2.4.: Computer Science Laboratory, SRI International, 2001, 1-102.
5. Shankar N, Owre S, Rushby J, Stringer-Calvert D. PVS prover guide version 2.4.: Computer Science Laboratory, SRI International, 2001, 1-127.
6. E. Clarke, O. Grumberg, and D. Peled. Model Checking. Cambridge: MIT PRESS, 1999.
7. Archer, M., TAME: Using PVS Strategies for Special-Purpose Theorem Proving, Annals of Mathematics and Artificial Intelligence 29(1-4) ,2000, 139-181.
8. http://www.cs.ucsb.edu/~rsg/ASTRAL.
9. http://www.cs.ru.nl/~hooman/zhengzhou.
10. http://pvs.csl.sri.com/doc/csl-93-9.pdf.
11. B. Berard, M. Bidoit, A. Finkel, System and Software verification Model-Checking Techniques and Tools, Springer-Verlag, 2001.