TOOL-ASSISTED VALIDATION AND VERIFICATION TECHNIQUES FOR STATE-BASED FORMAL METHODS

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications abstract state machines alloy b and z. ,vol. 5977, pp. 61- 74 ,(2010) , 10.1007/978-3-642-11811-1_6

S. Owre, J. M. Rushby, N. Shankar, PVS: A Prototype Verification System conference on automated deduction. pp. 748- 752 ,(1992) , 10.1007/3-540-55602-8_217

Patrizia Scandurra, Elvinia Riccobene, Angelo Michele Gargantini, A metamodel-based language and a simulation engine for abstract state machines Journal of Universal Computer Science. ,vol. 14, pp. 1949- 1983 ,(2008) , 10.3217/JUCS-014-12-1949

Doron A. Peled, Software reliability methods Springer. ,(2001) , 10.1007/978-1-4757-3540-6

S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, M. E. Delamaro, E. Wong, Mutation Testing Applied to Validate Specifications Based on Petri Nets formal techniques for (networked and) distributed systems. pp. 329- 337 ,(1995) , 10.1007/978-0-387-34945-9_24

Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Equivalences for Fair Kripke Structures international colloquium on automata languages and programming. pp. 364- 375 ,(1994) , 10.1007/3-540-58201-0_82

Egon Börger, Joachim Schmid, Robert F. Stärk, Java and the Java Virtual Machine: Definition, Verification, Validation ,(2001)

Kirsten Winter, Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study Lecture Notes in Computer Science. pp. 341- 360 ,(2000) , 10.1007/3-540-44518-8_19

Simone do Rocio Senger de Souza, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza, José Carlos Maldonado, None, Mutation testing applied to Estelle specifications hawaii international conference on system sciences. ,vol. 8, pp. 285- 301 ,(2000) , 10.1023/A:1008978021407

Oleg Sokolsky, Moonjoo Kim, Sampath Kannan, Mahesh Viswanathan, Insup Lee, Runtime Assurance Based On Formal Specifications parallel and distributed processing techniques and applications. pp. 279- 287 ,(1999)