Sell Your Projects | My Account | Careers | This email address is being protected from spambots. You need JavaScript enabled to view it. | Call: +91 9573777164

An I/O Efficient Model Checking Algorithm for Large-Scale Systems

1 1 1 1 1 Rating 4.80 (83 Votes)

PROJECT TITLE :

An I/O Efficient Model Checking Algorithm for Large-Scale Systems

ABSTRACT:

Model checking is a powerful approach for the formal verification of hardware and software systems. However, this approach suffers from the state space explosion problem, that limits its application to massive-scale systems due to house shortage. To overcome this drawback, one in all the foremost effective solutions is to use external memory algorithms. In this paper, we tend to propose an I/O economical model checking algorithm for massive-scale systems. To lower I/O complexity and improve time potency, we mix three new techniques: 1) a linear hash-sorting technique; a pair of) a cached duplicate detection technique; and 3) a dynamic path management technique. We tend to show that the new algorithm includes a lower I/O complexity than state-of-the-art I/O economical model checking algorithms, together with detect accepting cycle, maximal accepting predecessors, and iterative-deepening depth-initial search. Additionally, the experiments show that our algorithm obviously outperforms these three algorithms on the chosen representative benchmarks in terms of performance.


Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here


An I/O Efficient Model Checking Algorithm for Large-Scale Systems - 4.8 out of 5 based on 83 votes

Project EnquiryLatest Ready Available Academic Live Projects in affordable prices

Included complete project review wise documentation with project explanation videos and Much More...