Analyzing static and temporal properties of simulation models

Proceedings - Winter Simulation Conference

Volumn , Issue , 2006, Pages 897-904

  Traoré, Mamadou Kaba ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC MODELS; FORMAL METHODS;

(PL) PROPERTIES; CASE STUDIES; DYNAMIC ASPECTS; FIRST ORDER LOGIC (FOL); SIMULATION MODELLING; SYMBOLIC MANIPULATIONS; TEMPORAL PROPERTIES;

COMPUTER SIMULATION;

EID: 46149116125     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2006.323173     Document Type: Conference Paper

References (18)

1. Balci, O. 1998. Verification, Validation, and Accreditation. WSC'98: 42-48.
2. Clarke, E., and J.M. Wing. 1996. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys 28 (4). 626-643.
3. Davis, P.K., and R.H. Anderson. 2003. Improving the Composability of Department of Defense Models and Simulations. RAND Corporation.
4. Friesen, V., A., Nordwig, and M. Weber. 1998. Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. ZUM'98: 328-346.
5. th Australian Computer Science Conf: 1-14.
6. Kuhn, D.R., D. Craigen, and M. Saaltink. 2003. Practical Application of Formal Methods in Modeling and Simulation. SCSC'03, Montreal, Canada. July 20-24.
7. Lamsweerde, A.V. 2000. Formal Specification: a Roadmap. Conf. on the Future of Software Engineering. 147-159.
8. McMillan, K.L. 1992. Symbolic Model Checking. An Approach to the State Explosion Problem. Ph.D. Thesis in Comp. Sc, Carnegie Mellon University.
9. Overstreet, C. M., R. E. Nance, and O. Balci. 2002. Issues in Enhancing Model Reuse. Int. Conf. on Grand Challenges for Modeling and Simulation, Jan. 27-31, San Antonio, Texas, USA.
10. th Int. Symposium of Formal Methods Europe. 473-494.
11. Saaltink, M. 1997. The Z/EVES system. Lecture Notes in Comp. Sc. 1212. Springer-Verlag: 72-85.
12. Sargent, R.G. 2001. Verification and Validation: Some Approaches and Paradigms for Verifying and Validating Simulation Models. WSC'01: 106-114.
13. Smith, G. 2000. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers.
14. nd Ed., Prog. Research Group, University of Oxford.
15. Stevenson, D.E. 2003. From DEVS to Formal Methods: a Categorical Approach. SCSC03, Montreal, Canada, 1-6. July 20-24.
16. Zeigler, B.P. 1976. Theory of Modelling and Simulation. Wiley & Sons, N.Y.
17. Zeigler, B.P. 1984. Multifacetted Modelling and Discrete Event Simulation. Academic Press Inc., London.
18. nd Ed. Academic Press. Davis.