Formal Analysis of Real-Time Systems with SAM
暂无分享,去创建一个
[1] Nancy G. Leveson,et al. Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.
[2] Celso A. S. Santos,et al. Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique , 2000, Comput. Commun..
[3] Yi Deng,et al. A Framework for Developing and Analyzing Software Architecture Specifications in SAM , 2002, Comput. J..
[4] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[5] Nick Roussopoulos,et al. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets , 1983, IEEE Transactions on Software Engineering.
[6] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.
[7] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[8] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[9] P. ed Hoschka,et al. synchronized Multimedia Integration Language (SMIL) 1.0 Specification , 1998 .
[10] J. P. Courtiat,et al. A formal approach for the presentation of interactive multimedia documents , 2000, MM 2000.
[11] Arjeh M. Cohen,et al. Synchronized Multimedia Integration Language (SMIL) 2.0 , 1998 .
[12] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[13] P. Merlin,et al. Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.
[14] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[15] Jiacun Wang,et al. Introducing software architecture specification and analysis in SAM through an example , 1999, Inf. Softw. Technol..
[16] Edward Y. Chang,et al. STeP: The Stanford Temporal Prover , 1995, TAPSOFT.
[17] Zohar Manna,et al. Clocked Transition Systems , 1996 .
[18] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[19] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .