Mapping template semantics to SMV
暂无分享,去创建一个
Yun Lu | Nancy A. Day | Joanne M. Atlee | Jianwei Niu | Yun Lu | J. Atlee | N. Day | Jianwei Niu
[1] Amir Pnueli,et al. On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.
[2] Karl J. Lieberherr,et al. Object-oriented design , 1996, CSUR.
[3] Iso. Lotos,et al. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .
[4] Constance L. Heitmeyer,et al. Model Checking Complete Requirements Specifications Using Abstraction , 2004, Automated Software Engineering.
[5] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[6] Nancy A. Day. A framework for multi-notation, model-oriented requirements analysis , 1998 .
[7] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[8] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[9] Tevfik Bultan,et al. Action Language: a specification language for model checking reactive systems , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[10] Jianwei Niu. A Semantics-Based Approach for Mapping Specification Notations to Analysis Tools , 2003 .
[11] M. Gordon,et al. Introduction to HOL: a theorem proving environment for higher order logic , 1993 .
[12] Shmuel Katz,et al. A Framework for Translating Models and Specifications , 2002, IFM.
[13] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .
[14] R. E. Kurt Stirewalt,et al. Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components , 2003, IEEE Trans. Software Eng..
[15] Mauro Pezzè,et al. Constructing Multi-Formalism State-Space Analysis Tools: Using rules to specify dynamic semantics of models , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[16] Nancy A. Day,et al. Understanding and comparing model-based specification notations , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..
[17] David Notkin,et al. Model checking large software specifications , 1996, SIGSOFT '96.
[18] K. K. Sandhu,et al. Specification and description language (SDL) , 1992 .
[19] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[20] Matthew B. Dwyer,et al. Bogor: an extensible and highly-modular software model checking framework , 2003, ESEC/FSE-11.
[21] James C. Corbett,et al. Bandera: extracting finite-state models from Java source code , 2000, ICSE.
[22] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[23] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[24] Joanne M. Atlee,et al. State-Based Model Checking of Event-Driven System Requirements , 1993, IEEE Trans. Software Eng..
[25] Nancy A. Day,et al. Template Semantics for Model-Based Notations , 2003, IEEE Trans. Software Eng..
[26] César Muñoz,et al. An Overview of SAL , 2000 .
[27] Nancy G. Leveson,et al. Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..
[28] Nancy A. Day,et al. Mapping template semantics to SMV , 2004 .
[29] Jeffrey J. Joyce,et al. Symbolic Functional Evaluation , 1999, TPHOLs.