Common modeling language for model checkers

QR Code

Common modeling language for model checkers

Problem 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 ver...

Full description

Bibliographic Details
Main Authors:	Abdul Samad, Pathiah, Mohd Zin, Abdullah
Format:	Article
Language:	English
Published:	Science Publications 2012
Online Access:	http://psasir.upm.edu.my/id/eprint/22511/ http://psasir.upm.edu.my/id/eprint/22511/1/Common%20modeling%20language%20for%20model%20checkers.pdf

Similar Items

Analysis of the model checkers' input languages for modeling traffic light systems
by: Abdul Samad, Pathiah, et al.
Published: (2011)

Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV
by: Abdul Samat, Pathiah, et al.
Published: (2021)

Distinguishing automata machine by using UPPAAL as a model checker
by: Nagarathinam, Yogeswaran, et al.
Published: (2014)

ECO Smart Result Checker
by: Foo, Fong Yeng, et al.
Published: (2020)

A mobile phone malicious software detection model with behavior checker
by: Yap, , TS, et al.
Published: (2005)

The effectiveness of an online abstract checker application
by: Saberi, Dariush, et al.
Published: (2017)

Homogeneous group performance and stability in checkers
by: Thanatchai Sirivichayakul,, et al.
Published: (2019)

Personal computer checker/ Chong Fah Sam
by: Chong , Fah Sam
Published: (2005)

An enhanced UML consistency checker using logical approach
by: Ibrahim, Noraini
Published: (2013)

DealWithIt - Real Time Price Checker with Object Recognition
by: Eng, Yvonne Xin Yee
Published: (2024)

Prey preference of checkered beetle, Callimerus arcufer (COLEOPTERA: CLERIDAE)
by: Azlina Zakaria,, et al.
Published: (2023)

Improving students' writing performance through the use of grammar checker
by: Jayavalan, Kalpana, et al.
Published: (2015)

Enhancement of i-Learn : course information checker system / Muhammad Anuar Ridzwan Hashim
by: Ridzwan Hashim, Muhammad Anuar
Published: (2006)

The influence of spelling-checkers on students' ability to generate repairs of spelling errors / Hazelynn Rimbar
by: Rimbar, Hazelynn
Published: (2013)

Effectiveness of online grammar checker to improve secondary students' English narrative essay writing
by: Jayavalan, Kalpana, et al.
Published: (2018)

Are independent fact checkers effective in combatting fake news on COVID-19? A case study of Indonesia
by: Ridhanty, Anantia
Published: (2021)

Investigating evolutionary checkers by incorporating individual and social learning, N-tuple systems and a round robin tournament
by: Al-Khateeb, Belal
Published: (2011)

Development of quickscanner mobile application for grocery price checker using barcode scanner / Mohamad Hakimi Ab Rahman
by: Ab Rahman, Mohamad Hakimi
Published: (2017)

SMMS: document management in agile model for software maintenance
by: Abdul Samat, Pathiah, et al.
Published: (2019)

Agent Checker Mobile Apps for G6PD deficiency children using Rule-Based Technique / Umairah Mohd Zan
by: Mohd Zan, Umairah
Published: (2020)

Design of an Arabic spell checker font for enhancing writing skills: self-learning prototype among non-Arabic speakers
by: Sahrir, Muhammad Sabri
Published: (2015)

Vet4Cat: cat health and illness symptom checker using rule based / Siti Nurfateha Abd Jalil
by: Abd Jalil, Siti Nurfateha
Published: (2019)

Heart disease symptom checker application using 2D image and rule based expert system / Lina Khalida Abdul Wahab
by: Abdul Wahab, Lina Khalida
Published: (2019)

Comparison between alpha beta pruning algorithm and greedy algorithm in designing winning strategies in the game of checkers / Christy Jr Tan
by: Jr Tan, Christy
Published: (2007)

Common shared system model for evolvable assembly systems
by: Sanderson, David, et al.
Published: (2018)

The Common Sense Model of Self-Regulation: Meta-Analysis and Test of a Process Model
by: Hagger, Martin, et al.
Published: (2017)

Developing a Common Language between Corporations and Small Community Organisations
by: Roffey, C., et al.
Published: (2012)

Comparative analysis of machine learning models to predict common vulnerabilities and exposure
by: Shaesta Khan, Sheh Rahman, et al.
Published: (2024)

A unified trust model for common criteria recognition arrangement for product acceptance
by: Mat Isa, Mohd Anuar
Published: (2018)

An exploration into common mechanisms of oxidative damage in models of demyelinating disease and neurotrauma
by: Toomey, Lillian May
Published: (2022)

Children's perceptions of obesity as explained by the common sense model of illness representation
by: Babooram, M., et al.
Published: (2011)

Common Mobile Learning Characteristics-An Analysis Of Mobile Learning Models And Frameworks
by: Imtinan, Umera, et al.
Published: (2013)

Credibility models with dependence induced by common effects and their applications in bank branch performance prediction.
by: Ebrahimzadeh, Mahdi, et al.
Published: (2011)

Gain More Insight from Common Latent Factor in Structural Equation Modeling
by: Asyraf, Afthanorhan, et al.
Published: (2021)

Resident understanding of common acetabular fractures using 3D printed models
by: Singh, Mardeep Singh Pritam
Published: (2022)

Pre-stack time migration in common source domain without velocity model
by: Khoshnavaz, M., et al.
Published: (2015)

Conservation of resources theory and the 'strength' model of self-control: conceptual overlap and commonalities
by: Hagger, Martin
Published: (2015)

The Common
by: Kinsella, John
Published: (2014)

The unified modeling language model of an object oriented debugger system.
by: Mohd Ariffin, Noor Afiza, et al.
Published: (2013)

Modeling immigrants’ language skills
by: Chiswick, B., et al.
Published: (2008)