Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

17 articles for “Model checking”
Set a search alert
Research ArticleOpen accessPhrase in the titleModel Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological SystemsRavie Chandren Muniyandi, Abdullah Mohd. Zin, Zarina ShukorProblem statement: Membrane computing formalism has provided better modeling capabilities for biological systems in comparison to conventional mathematical models. Model checking could be used to reason about the biological system in detail and with precision by verifying formally whether membrane computing model meets the properties of the system. Approach: This study was carried to investigate the preservation of properties of … …Journal of Computer Science, Vol. 6, Issue 7 · 31 Jul 2010 · 6,672 accessesView PDFCite
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 keywordsCommon Modeling Language for Model CheckersPathiah Abdul Samat, Abdullah Mohd ZinProblem statement: There are many different model checkers that have been developed. Each of the model checkers is based on different input languages and they are suitable for model checking different types of systems. Thus it is important for us to choose the right model checker or modeling and verifying a given system. However, moving from one model checker to … …Journal of Computer Science, Vol. 8, Issue 1 · 1 Nov 2011 · 8,343 accessesView PDFCite
Research ArticleOpen accessIn the keywordsAnalysis of the Model Checkers' Input Languages for Modeling Traffic Light SystemsPathiah Abdul Samat, Abdullah Mohd Zin, Zarina ShukurProblem statement: Model checking is an automated verification technique that can be used for verifying properties of a system. A number of model checking systems have been developed over the last few years. However, there is no guideline that is available for selecting the most suitable model checker to be used to model a particular system. Approach: In this study, … …Journal of Computer Science, Vol. 7, Issue 2 · 25 Feb 2011 · 7,887 accessesView PDFCite
Research ArticleOpen accessIn the keywordsModeling A Multi-Compartments Biological System with Membrane ComputingRavie Chandren Muniyandi, Abdullah Mohd. ZinProblem statement: Most of the biological systems have been hierarchical in structure with processes interacting between different compartments. Membrane computing formalism has provided modeling capabilities in representing the structure of biological systems. Approach: This study was carried to investigate the modeling of a multi-compartment biological system by using membrane computing formalism. The hormone-induced calcium oscillations in liver cells which was … …Journal of Computer Science, Vol. 6, Issue 10 · 10 Aug 2010 · 7,256 accessesView PDFCite
Research ArticleOpen accessIn the keywordsOn The Integration of Decision Diagrams in High Order Logic Based Theorem Provers: a SurveySa'ed Abed, Otmane Ait Mohamed, Ghiath Al SammaneThis survey discuss approaches that integrate Decision Diagrams inside High Order Logic based Theorem provers. The approaches can be divided in two kinds, one is based on building a translation between model checker and theorem prover, the second is based on embedding the model checker algorithms inside the theorem prover. A comparison between both is discussed in detail. The paper … …Journal of Computer Science, Vol. 3, Issue 10 · 31 Oct 2007 · 6,980 accessesView PDFCite
Research ArticleOpen accessIn the abstractHMA-RAG: A Hierarchical Memory Augmented Retrieval Augmented Generation Framework for Fake News DetectionAfnan Altarjami, Sawsan AlshattnawiExisting methods for detecting fake news, such as traditional machine learning and transformer-based models, often work as separate classifiers that do not use outside evidence, historical knowledge, or ways to make the results easier to understand. This paper presents a framework that combines retrieval augmentation and hierarchical memory to overcome three primary constraints: Insufficient external evidence, the absence of memory, … …Journal of Computer Science, Vol. 22, Issue 9 · 7 Sep 2026 · 735 accessesView PDFCite
Research ArticleOpen accessIn the abstractComparative Analysis on Prediction of Chronic KidneyDisease by various Machine Learning ModelsNikhil Verma, Tripti Sharma, Bobbinpreet Kaur, Ayush DograChronic Kidney Disease (CKD) is a prevalent global healthconcern, which is affecting a number of people in the whole world. Earlydetection & precise checking of CKD are really important for essentialsupervision & intervention to prevent disease progression and associatedcomplications. Machine learning (ML) models have emerged as favourabletools for CKD detection due to their ability to analyse complex data patternsand provide … …Journal of Computer Science, Vol. 21, Issue 6 · 24 May 2025 · 5,939 accessesView PDFCite
Research ArticleOpen accessIn the abstractStatistical Modeling of Temperature Extremes Behaviour in GhanaTwumasi-Ankrah Sampson, Nyantakyi Agyei KwadwoThis paper focuses on modeling the extreme maximum temperature in Ghana using the extreme value theory. This is to inform decision-makers to help them plan appropriate risk mitigating measures to reduce the damage caused by drought. The block maxima with Generalized Extreme Value (GEV) and the General Pareto (GP) (with “all excesses” and decluster peaks) were used on 113 years … …Journal of Mathematics and Statistics, Vol. 14, Issue 1 · 10 Jan 2019 · 7,117 accessesView PDFCite
Research ArticleOpen accessIn the abstractUsing a Modified Technology Acceptance Model to Evaluate Designing Eight Queens Chess Puzzle GameHussain Mohammad Abu-DalbouhIn the game of chess, the queen can attack any piece that lies on the same row, on the same column, or along a diagonal. The eight-queens is a classic logic puzzle. The task is to place eight queens on a chessboard in such a fashion that no queen can attack any other queen. The eight-queen puzzle is often used … …Journal of Computer Science, Vol. 12, Issue 5 · 17 May 2016 · 7,188 accessesView PDFCite