The need for usable formal methods in verification and validation

Proceedings of the 2013 Winter Simulation Conference - Simulation: Making Decisions in a Complex World, WSC 2013

Volumn , Issue , 2013, Pages 1257-1268

  Diallo, Ross Gore Saikou ^a  

^a OLD DOMINION UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84894146203     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2013.6721513     Document Type: Conference Paper

References (36)

1. Aldini, A., M. Bernardo, R. Gorrieri, and M. Roccetti. 2001. "Comparing the QoS of Internet audio mechanisms via formal methods". ACM Transactions on Modeling and Computer Simulation (TOMACS) 11 (1): 1-42.
2. Birta, L., and F. Oz̈mizrak. 1996. "A knowledge-based approach for the validation of simulation models: The foundation". ACM Transactions on Modeling and Computer Simulation (TOMACS) 6 (1): 76-98.
3. Bowen, J., and V. Stavridou. 1993. "Safety-critical systems, formal methods and standards". Software Engineering Journal 8 (4): 189-209.
4. Cohen, P. R. 1992. "The role of natural language in a multimodal interface". In Proceedings of the 5th annual ACM symposium on User interface software and technology, 143-149. ACM.
5. Davis, P. K. 2005. "New paradigms and new challenges". In Proceedings of the 37th conference on Winter simulation, WSC '05, 1067-1076: Winter Simulation Conference.
6. Findler, N., and N. Mazur. 1990. "A system for automatic model verification and validation". Transactions of the Society for Computer Simulation International 6 (3): 153-172.
7. Gajski, D. D., S. Abdi, A. Gerstlauer, and G. Schirner. 2009. Embedded System Design: Modeling, Synthesis and Verification. Springer Publishing Company, Incorporated.
8. Gore, R. and Diallo, S. 2013. "CBML-To-Alloy Translation Algorithms". http://www.cs.virginia.edu/-rjg7v/CBML-To-Alloy-Algorithms. pdf. [Online; accessed 19-June-2013].
9. Gore, R., P. F. Reynolds Jr., and D. Kamensky. 2011. "Statistical Debugging with Elastic predicates". In Proceedings of the 26th IEEE/ACM international Conference on Automated software engineering, ASE '11, 273-282. New York, NY, USA: ACM.
10. Guttag, J. V., J. J. Horning, W. J. Garl, K. D. Jones, A. Modet, and J. M. Wing. 1993. "Larch: languages and tools for formal specification". In Texts and Monographs in Computer Science. Citeseer.
11. Harbola, A., D. Negi, and D. Harbola. 2012. "Infinite Automata And Formal Verification". International Journal 2 (3).
12. Harel, D. 1987. "Statecharts: A visual formalism for complex systems". Science of computer programming 8 (3): 231-274.
13. Hoare, C. A. R. 1978. "Communicating sequential processes". Communications of the ACM 21 (8): 666-677.
14. Jackson, D. 2006. Software Abstractions: logic, language, and analysis. MIT press.
15. Jones, C. B. 1986. Systematic software development using VDM, Volume 66. Prentice Hall International.
16. Kurshan, R. P. 1997. "Formal verification in a commercial setting". In Proceedings of the 34th annual Design Automation Conference, 258-262. ACM.
17. Lamport, L. 1994. "The temporal logic of actions". ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3): 872-923.
18. Law, A. M. 2009. "How to build valid and credible simulation models". In Simulation Conference (WSC), Proceedings of the 2009 Winter, 24-33. IEEE.
19. Liblit, B. 2008. "Cooperative debugging with five hundred million test cases". In Proceedings of the 2008 International Symposium on Software testing and analysis, ISSTA '08, 109-120. New York, NY, USA: ACM.
20. Liu, C., X. Yan, L. Fei, J. Han, and S. P. Midkiff. 2005, September. "SOBER: Statistical model-based bug localization". SIGSOFT Softw. Eng. Notes 30:286-295.
21. Lynch, N. A., and M. R. Tuttle. 1987. "Hierarchical correctness proofs for distributed algorithms". In Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, 137-151. ACM.
22. Milner, R. 1982. A calculus of communicating systems. Springer-Verlag New York, Inc.
23. North, M. J., N. T. Collier, and J. R. Vos. 2006. "Experiences creating three implementations of the repast agent modeling toolkit". ACM Transactions on Modeling and Computer Simulation (TOMACS) 16 (1): 1-25.
24. Pace, D. K. 2000. "Ideas about simulation conceptual model development". Johns Hopkins APL technical digest 21 (3): 327-336.
25. Page, E. H., B. S. Canova, and J. A. Tufarolo. 1997. "A case study of verification, validation, and accreditation for advanced distributed simulation". ACM Transactions on Modeling and Computer Simulation (TOMACS) 7 (3): 393-424.
26. Robinson, S. 2004. Simulation: The practice of model development and use. Wiley.
27. Robinson, S. 2006. "Conceptual modeling for simulation: issues and research requirements". In Proceedings of the 38th conference on Winter simulation, 792-800. Winter Simulation Conference.
28. th conference on Winter simulation, 130-143. Winter Simulation Conference.
29. Spiegel, M., P. F. Reynolds Jr, and D. C. Brogan. 2005. "A case study of model context for simulation composability and reusability". In Simulation Conference, 2005 Proceedings of the Winter, 8 IEEE.
30. Spivey, J. M. 1988. Understanding Z: A specification language and its formal semantics, Volume 3. Cambridge University Press.
31. Tofts, C., and G. Birtwistle. 1998. "A denotational semantics for a process-based simulation language". ACM Transactions on Modeling and Computer Simulation (TOMACS) 8 (3): 281-305.
32. Tolk, A., S. Diallo, and C. Turnitsa. 2006. "Merging Protocols, Grammar, Representation, and Ontological Approaches in Support of C-BML". In 2006 Fall Simulation Interoperability Workshop.
33. Tolk, A., S. Diallo, and C.Turnitsa. 2007. "AsystemviewofC- BML". In 2007Fall Simulation Interoperability Workshop.
34. Tolk, A., S. Y. Diallo, J. J. Padilla, and H. Herencia-Zapana. 2013. "Reference modelling in support of M&Sfoundations and applications". Journal of Simulation 7 (2): 69-82.
35. Visser, E. 2008. "WEBDSL: A case study in domain-specific language engineering". Generative and Transformational Techniques in Software Engineering II:291-373.
36. Woodcock, J., P. G. Larsen, J. Bicarregui, and J. Fitzgerald. 2009. "Formal methods: Practice and experience". ACM Computing Surveys (CSUR) 41 (4): 19.