Automatic Verification of Deadlock using Guided Test

Authors

Dr. Eric Mercer, Brigham Young University

Keywords

automatic verification, deadlock, guided test

College

Physical and Mathematical Sciences

Department

Computer Science

Abstract

The proposed academic objectives are included below for convenience. Each objective was met under the guidance of a senior researcher, Neha Rungta, who has since graduated with a Ph.D. and joined NASA Ames where she continues to work with students in the SMC-lab. Neha actively mentored the students on the project. These students participated by: writing models to test, reading and reviewing publications, writing code to support the algorithms, and putting together a complete demo-application illustrating how the guided search algorithm behaves. A total of four undergraduate students participated in the research.

Recommended Citation

Mercer, Dr. Eric (2013) "Automatic Verification of Deadlock using Guided Test," Journal of Undergraduate Research: Vol. 2013: Iss. 1, Article 2849.
Available at: https://scholarsarchive.byu.edu/jur/vol2013/iss1/2849