Research ArticleOpen accessIn the keywordsConditioned Slicing for Efficient Multiway Decision Graphs Model-CheckerSaad ElmansoriIntegrating formal verification techniques into the hardware design process provides the means to rigorously prove critical properties. However, most automatic verification techniques, such as model checking, are only effectively applicable to designs of limited sizes due to the state explosion problem. The Multiway Decision Graphs (MDG) method is an efficient method to define hardware designs into more abstract environments; however, … …Journal of Computer Science, Vol. 9, Issue 3 · 23 Apr 2013 · 6,368 accessesView PDFCite
Research ArticleOpen accessIn the abstractReengineering Legacy to Modern System with One Time Checker for Information System EvolutionP. Sudhakar, P. SakthivelProblem statement: The prime focus of Information System (IS) evolution process is the aggrandize productivity and quality of various components of the system. The evolution process is always challenging as it leads to an increase in overall complexity especially when the system changes are mostly confined to part of it. Approach: In this respect to improve efficiency and decrease complexity, … …American Journal of Applied Sciences, Vol. 9, Issue 6 · 14 Mar 2012 · 7,268 accessesView PDFCite