Analysis of the model checkers' input languages for modeling traffic light systems

QR Code

Analysis of the model checkers' input languages for modeling traffic light systems

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

Full description

Bibliographic Details
Main Authors:	Abdul Samad, Pathiah, Mohd Zin, Abdullah, Shukur, Zarina
Format:	Article
Language:	English
Published:	Science Publications 2011
Online Access:	http://psasir.upm.edu.my/id/eprint/22468/ http://psasir.upm.edu.my/id/eprint/22468/1/jcssp.2011.225.233.pdf

Similar Items

Common modeling language for model checkers
by: Abdul Samad, Pathiah, et al.
Published: (2012)

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)

An integrated model to control traffic lights : controlling of traffic lights in multiple intersections using fuzzy logic and genetic algorithm
by: Khaled Abdul Rahman, Jomaa, et al.
Published: (2017)

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

Traffic light fault detection system
by: Che Soh, Azura, et al.
Published: (2002)

Traffic light system design on FPGA
by: Boon, Kiat Koay, et al.
Published: (2009)

Smart emergency traffic light system
by: Shamsudin, Saffi Iswadi, et al.
Published: (2020)

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

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

Failure monitoring system of a traffic light
by: Che Soh, Azura, et al.
Published: (2002)

Economics of alcohol-involved traffic crashes in the USA: an input-output analysis
by: Zaloshnja, E., et al.
Published: (2016)

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)

Design and development of sensor based traffic light system
by: Albagul, Abdulgani, et al.
Published: (2006)

Design and development of traffic light fault detection system
by: Che Soh, Azura
Published: (2001)

Traffic light sequencing - an element of adaptability
by: Khan, Sheroz, et al.
Published: (2011)

Simulation of "time-based" versus "sensor-based" traffic light system
by: Abd Fatah, Abdul Yasser, et al.
Published: (2011)

A fuzzy-fault classifier system for malfunction traffic light system classification.
by: Che Soh, Azura, et al.
Published: (2011)

LED Traffic Light with Single Display
by: Farah Syazana, Roslan, et al.
Published: (2013)

Solar LED based traffic light
by: Syamsul Rais, Ahmed Tazalli
Published: (2010)

Modeling input validation in UML
by: Hayati, P., et al.
Published: (2008)

Smart monitoring fault detection system for malfunction traffic light operation.
by: Che Soh, Azura, et al.
Published: (2013)

Analysis of critical factors affecting level of service at traffic light junction
by: Fedilis Ann, Anak Dizer
Published: (2010)

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 traffic light control system using programmable logic controller
by: Ahmad, Azrulnor
Published: (2007)

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

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)

Traffic light food labelling in schools and beyond
by: Pettigrew, Simone, et al.
Published: (2012)

Dynamic fuzzy logic traffic light integrated system with accident detection and action
by: Taha Alshaikhli, Imad Fakhri, et al.
Published: (2017)

Development of FPGA based smart traffic light controller system with image processing
by: Tan, Keng Shuen
Published: (2019)

Model structure and random input for system identification technique for flexible manipulating system
by: Toha, Siti Fauziah, et al.
Published: (2011)

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

Implementation of input-process-output model for measuring information system project success
by: Subiyakto, A'ang, et al.
Published: (2014)

Modelling and analysis of CAD expert behaviour in using manual input devices
by: Halimahtun, M. Khalid
Published: (2001)