Abstraction and Refinement in Model Checking

2006 ◽  
pp. 219-242 ◽  
Author(s):  
Orna Grumberg
Keyword(s):  
Model Checking

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software

REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM

2019 ◽  
Vol 13 (3) ◽  
pp. 1
Author(s):  
ALIYU E. O. ◽  
ADEWALE O. S. ◽  
ADETUNMBI A. O. ◽  
OJOKOH B. A. ◽  
◽  
...  
Keyword(s):  
Model Checking

Perkembangan Bahasa Anak Usia 12 Hingga 24 Bulan di Semarang

2018 ◽  
Vol 1 (2) ◽  
pp. 66
Author(s):  
Marini Marini ◽  
Khasanah Khasanah
Keyword(s):  
Data Analysis ◽  
Data Collection ◽  
Model Checking ◽  
Language Development ◽  
Qualitative Method ◽  
Questionnaire Data ◽  
Daily Lives ◽  
Analysis Techniques ◽  
Development Of Language

Abstract The  problem  of this research is : How is the language development of children age 12 to 24 months in Semarang ?. The purpose of this study is to describe widely and deeply about language development the children age 12 to 24 in Semarang. The method used in this research is qualitative method. Data collection is done by observation, interviews, and questionnaire. Data analysis techniques using Miles Hubermen’s model. Checking the validity of the data using triangulation data. The results showed that the development of language of children aged 12 to 24 months in Semarang in expressive is: can produce sound almost perfect in several words; Some of the letters of the words missing from the pronunciation; The missing letters are usually consonants; Haven't been able to pronounce the letter s and r; In General, most people are able to understand the speech of the children is an adult who is close to the child; There is a word that can be spelled perfectly by the child. The words are by and large is the words that are simple and close to the children's daily lives. As for the generally receptive: children can follow and obey what is spoken by adults; The children seem to understand when the adults were talking about them; and children  can understand  to the words that they  heard more than that they can speak.   Keywords: Language, children, expressive, receptive, word.    

Bounded Model Checking for Probabilistic Computation Tree Logic

2012 ◽  
Vol 23 (7) ◽  
pp. 1656-1668 ◽  
Author(s):  
Cong-Hua ZHOU ◽  
Zhi-Feng LIU ◽  
Chang-Da WANG
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Probabilistic Computation ◽  
Computation Tree Logic ◽  
Computation Tree

Research on State Reachability in Planning Based on Model Checking

2012 ◽  
Vol 35 (8) ◽  
pp. 1634 ◽  
Author(s):  
Zhong-Hua WEN ◽  
Wei HUANG ◽  
Ren-Ren LIU ◽  
Yun-Fei JIANG
Keyword(s):  
Model Checking
Sign in / Sign up

Export Citation Format

Share Document