A Timed Graphical Interval Logic
暂无分享,去创建一个
[1] Kousha Etessami,et al. Events and constraints: a graphical editor for capturing logic requirements of programs , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.
[2] Didier Le Botlan,et al. Verification of Real-Time Specification Patterns on Time Transition Systems , 2011 .
[3] Víctor A. Braberman,et al. Visual timed event scenarios , 2004, Proceedings. 26th International Conference on Software Engineering.
[4] George S. Avrunin,et al. Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[5] Didier Le Botlan,et al. A Real-Time Specification Patterns Language , 2011 .
[6] Louise E. Moser,et al. The Real-Time Graphical Interval Logic Toolset , 1996, CAV.
[7] Pierre-Yves Schobbens,et al. State Clock Logic: A Decidable Real-Time Logic , 1997, HART.
[8] Louise E. Moser,et al. A graphical interval logic for specifying concurrent systems , 1994, TSEM.
[9] Joël Ouaknine,et al. On the decidability and complexity of Metric Temporal Logic over finite words , 2007, Log. Methods Comput. Sci..